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 [email protected] http://www.joachim-breitner.de/ _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
