[isabelle-dev] problems with the class-package

[ballarin at in.tum.de]

Dear all,

> Florian Haftmann wrote:
>
>> sorry for the inconvenience.  Currently there is major upheaval going on
>> in the locale/class area.  Im working hard on solving the remaining
>> problems.

I would like to hear of any problems that are due to the new locales  
implementation.  So far, I have not received any messages, but I have  
seen that modifications to fairly intricate parts were made.

Cheers,

Clemens