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 a pink background, etc. The "Theories" tab only
lists the current theory, with a pink background. Everything was working fine
on Monday and Tuesday morning, if I remember correctly. Proof General works
fine. I didn't change any components.
This is on Mac OS X 10.8. I'll be happy to help reproduce the problem.
Jasmin
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
