[isabelle-dev] Towards release
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.
More information about the isabelle-dev