[isabelle-dev] Repository Howto

Alexander Krauss krauss at in.tum.de
Wed Dec 21 23:31:17 CET 2011

Hi all,

Some people might still remember this good old web page from Clemens, 
which tells us how to work with the CVS version of Isabelle:


I now made an attempt to produce a modernized version of this, in order 
to simplify the start for new developers and AFP maintainers, or anybody 
who must follow the development repository.


Currently, it only explains how to clone the repository and get it to 
run. Producing new changes is not covered.

Any feedback is appreciated, preferably in the form of Wiki edits :-)


More information about the isabelle-dev mailing list