[isabelle-dev] NEWS

[Michael Nedzelsky]

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