Admin/Mercurial/hgwebdir.cgi
2010-11-05 ago reflect actual content of /home/isabelle/.html-data/cgi-bin/hgwebdir.cgi;
2008-12-01 ago updated to python2.5;
2008-08-26 ago replaced /home/isabelle/html-data/isabelle-repos by /home/isabelle-repository/repos;
2008-08-04 ago replaced mercurial.cgi by hgwebdir.cgi, resulting in http://isabelle.in.tum.de/repos/isabelle/