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

Lawrence Paulson lp15 at cam.ac.uk
Tue Sep 28 12:20:05 CEST 2021


Any name needs to be reasonably compact: in papers, authors regularly refer to the precise version of Isabelle used. I wouldn't recommend any of the longer names suggested. Something like Isabelle2021A would work.

Larry
On 28 Sep 2021, 00:31 +0100, Gerwin Klein <kleing at unsw.edu.au>, wrote:

I'm actually pretty happy with the current scheme (eg. 2021-1).

If there is a serious issue within the same month, we can increase the number, and in practice it happens extremely rarely, so there is not much room for confusion. As long as the year remains accurate, the scheme is pretty straightforward.

I'd also be fine with Isabelle2021-Dec, although that is harder to order automatically. The current scheme is somewhat order compatible with the old (and confusing) Isabelle-94-6 scheme. None of these are very strong arguments.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20210928/a5508b91/attachment.htm>


More information about the isabelle-dev mailing list