Thu, 03 Jul 2008 12:56:43 +0200 | wenzelm | ensure hg/.hg/hgrc; | file | diff | annotate |
Thu, 03 Jul 2008 12:53:38 +0200 | wenzelm | provide HGRCPATH, taken from cvs/Admin; | file | diff | annotate |
Wed, 02 Jul 2008 19:52:38 +0200 | wenzelm | convert Isabelle CVS to Mercurial; | file | diff | annotate |