[isabelle-dev] Website – Link to Narkive from Isabelle User Mailing List is broken
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