[isabelle-dev] Repository Howto
krauss at in.tum.de
Wed Dec 21 23:31:17 CET 2011
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