> In practice "their" version means a version in distant past that was the > current one when the author was working on the session.
The reason why I suggested it was to avoid one more burden on Isabelle developers: whoever updates the bundled OCaml version, must also adapt whatever arrangements developers made in the AFP to accommodate for breaking OCaml changes. But because that's a rather small price to pay (breaking changes are rare), I don't have a strong opinion either way. _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev