[isabelle-dev] NEWS

Tobias Nipkow nipkow at in.tum.de
Sun Aug 24 11:14:50 CEST 2008

I don't have a lib subdirectory and cvs does not know about one.


Makarius schrieb:
> *** 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.
> _______________________________________________
> Isabelle-dev mailing list
> Isabelle-dev at mailbroy.informatik.tu-muenchen.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

More information about the isabelle-dev mailing list