Some of you might the following collection of macros for toggling comments in Isabelle/jEdit useful: https://github.com/wimmers/isabelle-jedit-macros
Last updated: Jun 08 2025 at 08:25 UTC