[isabelle-dev] jedit

Tobias Nipkow nipkow at in.tum.de
Wed Jun 29 12:06:10 CEST 2011


I just had the situation were I opened a thy file and it simply stayed 
pink. Even after I closed all other buffers. Exiting and restarting 
jedit helped, but maybe there is some other way?

A suggestion concerning colour: numbers in magenta are on the loude side 
and give them more prominence than desirable. If you have a few numbers 
in your formula, they completely dominate. I suggest to use the same 
colour as for constants.

Tobias


More information about the isabelle-dev mailing list