[isabelle-dev] Towards release

[Lars Noschinski]

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