Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle/jEdit Macros

view this post on Zulip Email Gateway (Aug 19 2022 at 08:25):

From: Christian Sternagel <c-sterna@jaist.ac.jp>
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

Last updated: Feb 15 2026 at 05:19 UTC