[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?


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