[isabelle-dev] Website – Link to Narkive from Isabelle User Mailing List is broken

Makarius makarius at sketis.net
Sat Jul 26 14:56:13 CEST 2014

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?


More information about the isabelle-dev mailing list