[isabelle-dev] Towards the next release

Florian Haftmann florian.haftmann at informatik.tu-muenchen.de
Sat Mar 3 23:13:04 CET 2012

> 4 months after Isabelle2011-1 we are roughly in the middle between two
> official releases.  This is a good point to recollect things for the
> coming release, better than a few weeks before actual rollout (which
> will the time for testing the integrated system, not adding new features).

In approx. two weeks I plan to be in Garching and distill a working plan
there, containing
* still things to polish for sets
(https://isabelle.in.tum.de/community/Having_%27a_set_back), to let
users benefit from the new situation as much as possible
* state of alternative numeral representation
(https://isabelle.in.tum.de/community/Numerals) – I am still optimistic
that this can make it into the next release, although a lot of things
which can be improved then compared to what is now will have to wait.
* various cleanups, e.g. set/pred relations, HOL-Import, code
generation, enriched type (don't know how far I can get with that).



PGP available:

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 262 bytes
Desc: OpenPGP digital signature
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20120303/b0d0fdf0/attachment.asc>

More information about the isabelle-dev mailing list