[isabelle] Promises Kept?

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
them ...)

Happy Reasoning,

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.