[isabelle] isabelle/jedit



Hi,

at http://arxiv.org/pdf/1208.1368v1.pdf

Christian Sternagel writes:

4.3 Where have all the menus gone?

In Proof General many settings of Isabelle and diagnostic commands
could be congured and
started via menus. This is currently not supported in Isabelle/jEdit.

---

Is there any technical reason for this?

- Gergely





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