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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev