| Mon, 01 Dec 2008 14:42:24 +0100 | wenzelm | convert to isabelle-cvs, the old version; | file | diff | annotate |
| Wed, 03 Sep 2008 20:04:54 +0200 | wenzelm | use /home/isabelle/mercurial/bin/hg wrapper; | file | diff | annotate |
| Tue, 26 Aug 2008 11:42:46 +0200 | wenzelm | replaced /home/isabelle/html-data/isabelle-repos by /home/isabelle-repository/repos; | file | diff | annotate |
| Thu, 03 Jul 2008 14:52:54 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 03 Jul 2008 14:44:49 +0200 | wenzelm | logrotate setup; | file | diff | annotate |
| Thu, 03 Jul 2008 14:34:53 +0200 | wenzelm | redirect stderr as well; | file | diff | annotate |
| Thu, 03 Jul 2008 14:31:19 +0200 | wenzelm | output to log file; | file | diff | annotate |
| 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 |