[isabelle-dev] problems with the class-package

ballarin at in.tum.de ballarin at in.tum.de
Mon Feb 9 22:35:26 CET 2009

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.



More information about the isabelle-dev mailing list