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

Makarius makarius at sketis.net
Tue Jul 22 22:33:00 CEST 2014

On Tue, 22 Jul 2014, Florian Haftmann wrote:

> http://fa.isabelle.narkive.com/ in http://isabelle.in.tum.de/

Seems to work after a very long time of waiting.

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.


More information about the isabelle-dev mailing list