I don't have a lib subdirectory and cvs does not know about one. Tobias
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