[isabelle-dev] Repository Howto

[Alexander Krauss]

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:

http://www4.in.tum.de/~ballarin/isabelle/repository.html

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.

https://isabelle.in.tum.de/isanotes/index.php/Working_with_the_repository_version_of_Isabelle

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 :-)

Alex