[isabelle-dev] Isabelle_11-Sep-2011

[Makarius]

A preliminary test distribution is now available from 
http://www4.in.tum.de/~wenzelm/test/Isabelle_11-Sep-2011/download.html

So far, this is just a warm-up for the upcoming release.

        Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev