Re: [Hol-info] Using polyscripter with user-written theories

Thanks for the question Heiko. I think Thomas’s answer is the best that can be done at the moment, but now that I’m aware of the problem, I will adjust polyscripter to pay attention to `INCLUDES =` lines in a Holmakefile, and perhaps also `-I` command-line options passed to polyscripter. With

[Hol-info] Last Call for Papers for: International Workshop on Classical Logic and Computation (CL'18) in Oxford - satellite workshop of FSCD 2018 (former TLCA + RTA)

CL 2018: Classical Logic and Computation 2018 (Seventh of the series CL) Oxford, UK, July 7, 2018 Conference website  http://www.di.unito.it/~stefano/CL/CL Submission link     https://easychair.org/conferences/?conf=clc2018 Abstract registration deadline     March 12, 2018 Submission deadline     

[Hol-info] SAT/SMT/AR Summer School 2018

SAT/SMT/AR Summer School 2018 We are pleased to announce that the next edition of the SAT/SMT/AR Summer School will take place in Manchester, UK on 3-6th July 2018. Satisfiability (SAT), Satisfiability Modulo Theories (SMT), and Automated Reasoning (AR) continue to make rapid advances and

[Hol-info] EXTENDED DEADLINE: International Conference on Logic Programming 2018

34th International Conference on Logic Programming (ICLP 2018) Call for Papers - DEADLINE EXTENSION NEW DEADLINE: February 19th, 2018 = July 14-17, 2018 Oxford, UK http://www.logicprogramming.org/iclp2018 The 34th International Conference on Logic Programming