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