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 <makarius@sketis.net>
(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
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev


Last updated: Feb 24 2024 at 04:17 UTC