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 n
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
http://fa.isabelle.narkive.com/ in http://isabelle.in.tum.de/
Florian
--
PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de
signature.asc
Description: OpenPGP digital signature
__
