[isabelle-dev] Isabelle2012 post-release mode

Gerwin Klein gerwin.klein at nicta.com.au
Tue May 29 14:42:34 CEST 2012

On 29/05/2012, at 9:31 PM, Makarius wrote:
> Published releases are immutable, and can only be superseded by other releases.  For the moment my tendency is to wait and see how relevant it is for most users.  We can certainly modify the /home/isabelle/Isabelle2012 installation to accomodate isatest/AFP.

Normal AFP/isatest operation shouldn't be affected any more, so I don't think we need to do anything there.

The AFP problem was just me trying to run existing big sessions over night. Usually, new entries don't need that.


More information about the isabelle-dev mailing list