[isabelle-dev] Isabelle2013-2 release

Dmitriy Traytel traytel at in.tum.de
Thu Nov 21 09:10:05 CET 2013

 From my angle Isabelle/f6ffe53387ef resolves [1] in a robust way. But 
I'm waiting for Christian to confirm this.


Am 21.11.2013 00:13, schrieb René Neumann:
> If there will already be a new release, would it perhaps be possible to
> merge the fix (given there is a robust one) for this 'adhoc_overloading
> raises TYPE' issue [1] ?
> This error is quite puzzling. And it occurs even if one does not know
> what the packages 'adhoc_overloading' and 'coercions' are about;
> depending on theories using it (e.g. ICF) is sufficient.
> This is just meant as a plain question. I fully understand that this
> change might be seen as 'too large on this short notice'.
> Thanks,
> René
> [1]
> https://lists.cam.ac.uk/pipermail/cl-isabelle-users/2013-November/msg00146.html
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

More information about the isabelle-dev mailing list