[isabelle-dev] Grouping of Isabelle Symbols
immler at in.tum.de
Fri Nov 23 09:54:22 CET 2012
2012/11/21 Christian Sternagel <c-sterna at jaist.ac.jp>:
> Hi again,
> I also think that the "Encoding" and "Abbreviation" TextAreas of my
> Symbols.bsh macro would be nice to have in your dockable.
At the moment (e2c08f20d00e) both of them are shown as tooltips on the buttons.
I might place this information more prominently (like in Symbols.bsh)
> 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
>>> 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?
>>> isabelle-dev mailing list
>>> isabelle-dev at in.tum.de
More information about the isabelle-dev