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
On Sun, 24 Aug 2008, Tobias Nipkow wrote:
I don't have a lib subdirectory and cvs does not know about one.
The NEWS are always in terms of a proper distributions, for users out
there. The CVS layout is a bit mangled, and lib is in Distribution/lib.
Makarius
Hi all,
I'm thinking about making a new interface to Isabelle, along the lines
of Proof General, but not requiring Emacs (ugh). It would be done in
C# and be for Windows initially, though depending on how I do it it
could probably be made to work in Linux and other Unixen as well.
First of all,