[isabelle-dev] Towards the next release --- and release naming scheme

Joachim Breitner mail at joachim-breitner.de
Thu Oct 14 17:27:16 CEST 2021


late to the party, and just an unsolicited comment from the sidelines,
but I would strongly suggest to heed this warning:

Am Mittwoch, dem 29.09.2021 um 10:09 +0000 schrieb Martin Desharnais:
> Note that this suggestion, while very readable, cannot be correctly 
> sorted by the lexicographical order used by many tools (e.g. ls, sort).

Less strongly I’d like to point out that using calendar-based YY.MM or
YYYY.MM release names have become quite common (Ubuntu and Nixpkg come
to mind; I am sure I saw it elsewhere too). In addition to the common
convention of using dashes to separate name and version, and dots in
the version number, and the fact that Isabelle so far uses four-digit
years, this would point towards



PS: I must admit I always have to think twice to put September and
August into the right order, and don’t have that problem with 08 and 09

Joachim Breitner
  mail at joachim-breitner.de

More information about the isabelle-dev mailing list