[isabelle-dev] Towards the next release
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
* 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).
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 262 bytes
Desc: OpenPGP digital signature
More information about the isabelle-dev