Re: [isabelle] Isabelle Developers Workshop 2010




Christian Urban writes:
 >  ** Isabelle Developers Workshop 2010 **

 >   http://isabelle.in.tum.de/nominal/activities/idw10/idw.html
 > 
 > 
 > Important Dates
 > ---------------
 > Workshop:  17 - 18 August 2009
 > 

Will be on 17 and 18 June!
                     ^^^^^
Apologies about the confusion.

Christian





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