[isabelle] [Isabelle 2019-RC0] Missing NEWS entry



Hi,

a minor thing: The NEWS file does not mention that the abbreviations MAXIMUM and MINIMUM are gone.

Best wishes,
Dominique.






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.