Email Gateway (Aug 22 2022 at 19:30): Email Gateway (Aug 22 2022 at 19:30):From: Dominique Unruh <unruh@ut.ee>
Hi,
a minor thing: The NEWS file does not mention that the abbreviations
MAXIMUM and MINIMUM are gone.
Best wishes,
Dominique.
Email Gateway (Aug 22 2022 at 19:44):From: Florian Haftmann <florian.haftmann@informatik.tu-muenchen.de>
Hi Dominique,
a minor thing: The NEWS file does not mention that the abbreviations
MAXIMUM and MINIMUM are gone.
see http://isabelle.in.tum.de/repos/isabelle/rev/7e9269c188d6 as part of
the upcoming RC2.
Since none of these occured in the visible universe (distribution & AFP)
at that time, I took that as indicator to abolish it directly in one step.
Cheers,
Florian
signature.asc
Last updated: Apr 25 2024 at 08:20 UTC