[isabelle-dev] Isabelle/jEdit: imports
c.sternagel at gmail.com
Fri Jan 16 14:15:53 CET 2015
As of c7f6f01ede15 I noticed the following behavior. Suppose I have a
theory file with the following content
So far so good. Now I add another import.
By accident this refers to a non-existent file. Instead of a
corresponding error-message, however, the whole file maintains a lightly
red background and doesn't seem to be processed at all (i.e., I do not
get any output if I edit in between "begin" and "end").
More information about the isabelle-dev