Bonne année à tous,

this is a reminder that we are approaching the next official Isabelle release. I've got myself caught into too many other tasks over Christmas vacation, and will now see how quick we can get a lift off.

If everybody else manages to wrap up until the beginning of next week, we have a good chance to release before the end of the month.

I think a release date of January 2011 still justifies to call the release "Isabelle2010".


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

Reply via email to