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 <[email protected]>: > 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 > [email protected] > https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev > _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
