[isabelle] Promises Kept?
- To: cl-isabelle-users at lists.cam.ac.uk
- Subject: [isabelle] Promises Kept?
- From: Jens Doll <jd at cococo.de>
- Date: Tue, 31 Jan 2012 07:00:47 +0100
- User-agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; de; rv:184.108.40.206) Gecko/20111213 Lightning/1.0b2 Thunderbird/3.1.17
Although my project is progressing, there are some hindrances, which
cost a lot of time. So I have to withdraw announcements
a) Elbe 1.5 will not be published in January 2012
b) the next version is not for one University only
(we have got a dozen of them here in Hamburg, of which I know four of
This archive was generated by a fusion of
Pipermail (Mailman edition) and