[isabelle-dev] NEWS: Isabelle sessions and build management

Makarius makarius at sketis.net
Wed Aug 1 11:52:00 CEST 2012

On Sat, 28 Jul 2012, Makarius wrote:

> In particular, we need to devise a plan to upgrade:
>  * mira (?)

Is there any mira expert who is not on vacation?  Otherwise I have to 
start understanding its setup myself.


More information about the isabelle-dev mailing list