I think for cvs version this is Isabelle/Distribution/lib subsdirectory. Michael Nedzelsky
> 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 > _______________________________________________ > Isabelle-dev mailing list > Isabelle-dev at mailbroy.informatik.tu-muenchen.de > https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev -- ? ?????????, Michael mailto:MichaelNedzelsky at yandex.ru