[isabelle-dev] Small repository accident

Florian Haftmann florian.haftmann at informatik.tu-muenchen.de
Fri Feb 24 09:01:29 CET 2012

Accidentally I have pushed something into the main repository which was 
still supposed to be tested.  PLEASE IGNORE HEAD REVISION 0bd7c16a4200 
and continue with the other head.

Sorry for this,


PGP available:

More information about the isabelle-dev mailing list