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