[isabelle] Isabelle/jEdit Macros



Hi there,

I put some Isabelle/jEdit macros into the Community Wiki. Please have a look at

  https://isabelle.in.tum.de/community/Extending_Isabelle/jEdit

and let me know what you think.

cheers

chris





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