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