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

Alexander Krauss krauss at in.tum.de
Wed Aug 1 23:32:33 CEST 2012


On 08/01/2012 11:52 AM, Makarius wrote:
> Is there any mira expert who is not on vacation? Otherwise I have to
> start understanding its setup myself.

I am already looking into this.

Alex



More information about the isabelle-dev mailing list