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.

cheers
peter




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.