[isabelle-dev] NEWS

Makarius makarius at sketis.net
Sun Aug 24 15:05:41 CEST 2008

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.


More information about the isabelle-dev mailing list