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

[Alexander Krauss]

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.

Thanks,
Alex