[isabelle-dev] Isabelle2012 post-release mode

[Gerwin Klein]

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.

Cheers,
Gerwin