[isabelle] Isabelle/jedit



When I start typing in a proof command, eg apply, jedit eagerly executes it, and
since I am in the middle of typing it, the command typically fails.
Unfortunately the resulting error msg overwrites the proof state. Is there any
way to see the old proof state while I type the proof command?

Thanks
Tobias





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