Stream: General

Topic: macros for comments

view this post on Zulip Simon Wimmer (Nov 14 2019 at 15:56):

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: Dec 07 2023 at 08:19 UTC