Update of Isabelle to current version.
Requires changes previously submitted:
ports/94667 [UPDATE] lang/polyml 4.1.3 -> 4.2.0
ports/94670 [UPDATE] math/proofgeneral 3.5 -> 3.6
I'll take it.
I can't test it. My tinderbox don't compile xemacs21-mule