[isabelle-dev] problems with the class-package

Amine Chaieb ac638 at cam.ac.uk
Fri Jan 23 10:48:30 CET 2009

Thanks for the quick answer!

At least we know that it was not because we wrote things in a wrong manner.

best wishes,


Florian Haftmann wrote:

> Hi Amine,
> sorry for the inconvenience.  Currently there is major upheaval going on
> in the locale/class area.  Im working hard on solving the remaining
> problems.
> For the moment I suggest going back to an earlier snapshot, e.g.
> http://isabelle.in.tum.de/repos/isabelle/rev/bb0f395db245
> Chers,
> 	Florian

More information about the isabelle-dev mailing list