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

[Makarius]

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