[isabelle-dev] Isabelle/PIDE as ML IDE: syntax highlighting of string literals

Christian Sternagel c.sternagel at gmail.com
Mon Dec 1 16:11:01 CET 2014

Dear Makarius,

nowadays I'm doing all my ML coding in Isabelle/PIDE, which is really 
nice to use by the way.

A tiny thing I noticed recently is that in the presence of control 
symbols, string literals are highlighted somewhat strange. To see what I 
mean, consult the attached screenshot, where after a "\<^sub>" in a 
string literal function names are no longer highlighted black.



On 11/17/2014 09:46 PM, Makarius wrote:
> Dear Isabelle users,
> the current Isabelle2014 has this built-in PIDE support for official
> Standard ML (SML'97) that was already mentioned a few times before; it
> is briefly explained in the NEWS of the distribution.
> I would like to publicize this as much as possible.  It could help the
> general cause of Standard ML (the best unknown programming language in
> the world) and in particular Poly/ML (the best unknown implementation of
> SML).
> Here is the corresponding entry on my new website/blog:
> http://sketis.net/?p=103
> This is a permanent link that can be used elsewhere, despite the
> slightly odd name, which is normal in WordPress, I think.  Of course,
> enthusiastic users are encouraged to publish their own texts about the
> My blog mentions a sister entry on Stackoverflow:
> http://stackoverflow.com/questions/2036744/ml-ide-and-compiler-for-windows-or-linux-or-mac
> I don't want to bribe anybody, but maybe we could collect a few more
> votes for that article so that it is higher ranked.  This is relevant,
> because Google presently places it first for a query like "SML IDE".
>      Makarius
> ----------------------------------------------------------------------------
>                     http://stop-ttip.org  906,830 people so far
> ----------------------------------------------------------------------------
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Screenshot from 2014-12-01 16:05:08.png
Type: image/png
Size: 7006 bytes
Desc: not available
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20141201/35be39cd/attachment.png>

More information about the isabelle-dev mailing list