On Tue, 22 Jul 2014, Makarius wrote:
Notes to the webmaster:
* The Isabelle website repository is already for Isabelle2014.
* I have made some totally adhoc changes to the current website to
insert the snippet for VSL 2014 with Isabelle2014-RC0.
The still official website is back to normal. The Cambridge mirror needs
updating. Larry, is this done manually or automatically?
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev