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.
cheers
chris
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
SML IDE.
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
----------------------------------------------------------------------------
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
