[isabelle-dev] Repository web frontend: issues due to server upgrade
krauss at in.tum.de
Wed Mar 3 12:33:05 CET 2010
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