[isabelle-dev] Grouping of Isabelle Symbols

[Fabian Immler]

See also changeset 4ff5d795ed08, which introduces a dockable for
symbols. As it is included in the repository, I guess it supersedes
the macro in your collection -- I could have thought about porting it
to Scala, the current implementation is, however, relatively
straightforward (and more dense compared to the Java code).

If you have any comments or suggestions concerning the Symbols
dockable, feel free
to contact me!

Regards,
Fabian


2012/11/21 Christian Sternagel <c-sterna at jaist.ac.jp>:
> 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?
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
>