Hi again,
I also think that the "Encoding" and "Abbreviation" TextAreas of my
Symbols.bsh macro would be nice to have in your dockable.
cheers
chris
On 11/21/2012 02:32 PM, Fabian Immler wrote:
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
