[isabelle-dev] problems with the class-package
florian.haftmann at informatik.tu-muenchen.de
Mon Feb 2 08:16:33 CET 2009
Dear Amine and Jeremy,
the current development snapshot now has fixed the problem. Switching
to it should be rather safe -- we plan to converge to the next Isabelle
release quite soon and refrain from major changes.
Thanks for your patience. There are still minor issues which I have to
reorganize in the class code but this is not supposed to exchange the
behaviour visible to the user. Just report suspicious things.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 252 bytes
Desc: OpenPGP digital signature
More information about the isabelle-dev