I did not propose to add this before the release, but I don't see any harm in discussing it now. In fact, now people may be more alert than later. Of course you are welcome to add your two cents later.
Tobias Am 19/04/2012 13:25, schrieb Makarius: > On Thu, 19 Apr 2012, Tobias Nipkow wrote: > >> Reactions? > > Postpone discussion until after official rollout of Isabelle2012. > > There still many things to be sorted out. > > > Makarius > _______________________________________________ > isabelle-dev mailing list > isabelle-...@in.tum.de > https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev