| 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 |