[isabelle-dev] isabelle/repos

Makarius makarius at sketis.net
Sat Aug 2 15:25:27 CEST 2008


Dear Mercurial enthusiasts,

the URL for the Isabelle sources (still read-only) is now

  http://isabelle.in.tum.de/repos/isabelle/

The old http://isabelle.in.tum.de/isabelle-bin/mercurial.cgi/ will 
disappear soon.

Adapting local clones of this repository merely involves editing the 
default path in .hg/hgrc -- unlike CVS/SVN the Mercurial meta data is only 
in a single place within each repository.


Anybody who has not tried Mercurial yet should do so now.  It is the kind 
of tool that makes live much easier, only at the cost of unlearning quirks 
of CVS/SVN.  (The way of thinking needs to be de-centralized.)


	Makarius


More information about the isabelle-dev mailing list