[isabelle-dev] Grouping of Isabelle Symbols

Fabian Immler immler at in.tum.de
Wed Nov 21 14:32:35 CET 2012

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!


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

More information about the isabelle-dev mailing list