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
