On Fri, 4 Jul 2014, Makarius wrote:

On Tue, 1 Jul 2014, Makarius wrote:

 I am about to update the website, such that Isabelle2014-RC0 can be
 published with an approximation of the one for the coming release.

I will tag Isabelle2014-RC0 today or tomorrow, shooting blindly at the repository.

There were some delays, but I will definitely make a blind shot today, within the next few hours.


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

Reply via email to