History log of /seL4-l4v-10.1.1/isabelle/Admin/Mercurial/hgwebdir.cgi
Revision Date Author Comments
# f18658e6 05-Nov-2010 wenzelm <none@none>

reflect actual content of /home/isabelle/.html-data/cgi-bin/hgwebdir.cgi;
# da1516d6 01-Dec-2008 wenzelm <none@none>

updated to python2.5;
# bb25664e 26-Aug-2008 wenzelm <none@none>

replaced /home/isabelle/html-data/isabelle-repos by /home/isabelle-repository/repos;
# d393edc1 04-Aug-2008 wenzelm <none@none>

replaced mercurial.cgi by hgwebdir.cgi, resulting in http://isabelle.in.tum.de/repos/isabelle/