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 _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
