[isabelle-dev] problems with the class-package
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.
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
> For the moment I suggest going back to an earlier snapshot, e.g.
More information about the isabelle-dev