> So the time to point out further issues or pending projects is now -- > apart from the well-known HOL-BNF and PIDE improvements that are already > underway. In general there is no reason to rush anything on any > particular release train, since they are rather frequent anyway. A > release is a limit point of consolidation -- the really new things > happen after it.
In my pipeline is some polishing of the code generator preprocessor.
If resources are left then, I would take a look again at the issue of
interpretation prefixes inside the existing HOL theories.
That should be all, though.
Florian
--
PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de
signature.asc
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
