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

[Joachim Breitner]

Hi,

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

   Isabelle-2021.02
   Isabelle-2021.12
   Isabelle-2022.05

Cheers,
Joachim

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
  http://www.joachim-breitner.de/