Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] polyml-5.9-610a153b941d

view this post on Zulip Email Gateway (Nov 16 2021 at 21:14):

From: Makarius <>
(After a merge of isabelle-dev and isabelle-release, some notable changes are
back to isabelle-dev.)

Isabelle/610a153b941d provides polyml-5.9-610a153b941d, which is very close to
the final 5.9 release (presumably this week).

isabelle-dev mailing list

Last updated: Feb 24 2024 at 04:17 UTC