[isabelle-dev] Repository web frontend: issues due to server upgrade

Alexander Krauss krauss at in.tum.de
Wed Mar 3 12:33:05 CET 2010

Dear all,

Our web servers got upgraded, which broke the web frontend of the 
Isabelle repository (and others). I managed to restore the basic 
functionality (pull, browse), but without the customized style sheets. 
Pushing over ssh was not affected anyway.

If you observe any unexpected behaviour other than the style, please 
report it to me.


More information about the isabelle-dev mailing list