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 https://isabelle.in.tum.de/community/Extending_Isabelle/jEdit cheers chris PS: Is it possible to somehow use Scala when writing jEdit macros? Anyone?