[isabelle-dev] problems with the class-package

[Amine Chaieb]

Thanks for the quick answer!


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


best wishes,

Amine.


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
>
>