README_REPOSITORY
Sat, 29 Nov 2008 18:19:59 +0100 wenzelm further notes;
Sat, 29 Nov 2008 17:09:28 +0100 wenzelm Important notes on Mercurial repository access for Isabelle.
less more (0) tip