[isabelle-dev] NEWS

Makarius makarius at sketis.net
Sat Aug 23 23:45:42 CEST 2008

*** System ***

* Isabelle/lib/classes/Pure.jar provides basic support to integrate
the Isabelle process into a JVM/Scala application.  See
Isabelle/lib/jedit/plugin for a minimal example.  (The obsolete Java
process wrapper has been discontinued.)

* Status messages (with exact source position information) are
emitted, if proper markup print mode is enabled.  This allows
user-interface components to provide detailed feedback on internal
prover operations.

* Homegrown Isabelle font with unicode layout, see Isabelle/lib/fonts.

More information about the isabelle-dev mailing list