See Isabelle/e6e80a8bf624.
There is no NEWS entry, because this is strictly speaking not
user-relevant: structure PolyML belongs to the system implementation and
was never officially available in Isabelle/ML user space.
Anything that is required from it needs to be provided by suitable
Isabelle/ML modules, e.g. ML_System.obj_size.
If I've forgotten anything important, please say so -- before the next
release.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
