[isabelle-dev] Grouping of Isabelle Symbols
c-sterna at jaist.ac.jp
Wed Nov 21 15:01:23 CET 2012
I also think that the "Encoding" and "Abbreviation" TextAreas of my
Symbols.bsh macro would be nice to have in your dockable.
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!
> 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
>> PS: Is it possible to somehow use Scala when writing jEdit macros? Anyone?
>> isabelle-dev mailing list
>> isabelle-dev at in.tum.de
More information about the isabelle-dev