Re: [isabelle-dev] Isabelle/jEdit doesn't process theories

2013-09-25 Thread Jasmin Blanchette
Am 25.09.2013 um 13:03 schrieb Makarius : > On Wed, 25 Sep 2013, Jasmin Christian Blanchette wrote: > >> Isabelle/jEdit is currently unwilling to process theories > >> The file is correctly opened, but nothing is processed -- no imports are >> processed, the theory text has a pink background, e

Re: [isabelle-dev] Isabelle/jEdit doesn't process theories

2013-09-25 Thread Makarius
On Wed, 25 Sep 2013, Jasmin Christian Blanchette wrote: Isabelle/jEdit is currently unwilling to process theories The file is correctly opened, but nothing is processed -- no imports are processed, the theory text has a pink background, etc. I think you have merely disabled "Continuous chec

[isabelle-dev] Isabelle/jEdit doesn't process theories

2013-09-24 Thread Jasmin Christian Blanchette
Hi all, Isabelle/jEdit is currently unwilling to process theories (as of dcefe11f28f2). I open up an existing theory file, e.g. isabelle jedit -l HOL-BNF src/Doc/Datatypes/Datatypes.thy The file is correctly opened, but nothing is processed -- no imports are processed, the theory text has