On Sat, 13 Dec 2014, David Topham wrote:
...and some examples that mention Isabelle has an IDE -- not PolyML though, just SML/NJ? and with Java required?
Isabelle is centered around Poly/ML, and Scala/JVM plays a special role, too.
Isabelle as an application is mostly self-contained, i.e. practically all its requirements are resolved by the standard distribution from http://isabelle.in.tum.de/. Thus there is little to worry about, if the disk space can be afforded (several 100s MB). You just download and run it on a standard system.
See also http://sketis.net/2014/isabellepide-as-ide-for-standard-ml for a quick start.
Makarius
---------------------------------------------------------------------------- http://stop-ttip.org 1,145,058 people so far ----------------------------------------------------------------------------