[isabelle-dev] Towards release

Lars Noschinski noschinl at in.tum.de
Mon Sep 19 13:55:54 CEST 2011

On 18.09.2011 17:38, Makarius wrote:
> Are there any further things in the pipeline? In the final phase one
> needs a bit more organization than the "push first, fix later" cycle
> that occasionally happens outside this special season.

Two things from my side:

   - There is some tiny amount of reorganization left for
     Complete_Lattices (removing some "*_singleton" lemmas). Will
     probably push later this day; tests look good so far.

   - I'm working on integrating Haskabelle as a component.

   -- Lars

More information about the isabelle-dev mailing list