[isabelle-dev] Grouping of Isabelle Symbols

Christian Sternagel c-sterna at jaist.ac.jp
Wed Nov 21 13:19:23 CET 2012

Is there a plan to make the grouping of changeset 0226d408058b available 
in Isabelle/Scala through isabelle.Symbol? I could make use of it in the 
Symbols.bsh macro of




PS: Is it possible to somehow use Scala when writing jEdit macros? Anyone?

More information about the isabelle-dev mailing list