| Fri, 05 Nov 2010 22:01:01 +0100 | wenzelm | reflect actual content of /home/isabelle/.html-data/cgi-bin/hgwebdir.cgi; | file | diff | annotate |
| Mon, 01 Dec 2008 14:46:27 +0100 | wenzelm | updated to python2.5; | 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 |
| Mon, 04 Aug 2008 19:25:59 +0200 | wenzelm | replaced mercurial.cgi by hgwebdir.cgi, resulting in http://isabelle.in.tum.de/repos/isabelle/ | file | diff | annotate |