Re: [isabelle] Different behavior in Jedit and Emacs
On 21/01/2012, at 3:16 AM, Brian Huffman wrote:
> This is a good reminder why quick and dirty mode is a bad idea. We
> should definitely make sure that the default is set to "off" in all
> future releases, for both ProofGeneral and jEdit.
"sorry" only works if quick and dirty is switched on. I use that a lot when developing a proof interactively, as I expect everyone does.
This archive was generated by a fusion of
Pipermail (Mailman edition) and