
<html xmlns="http://www.w3.org/1999/xhtml">


<head>


<meta http-equiv="Content-Type" content="text/html; charset=utf-8">


<title></title>


</head>


<body>


<div name="messageBodySection">


<div dir="auto">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.</div>


</div>


<div name="messageSignatureSection"><br>


<div class="matchFont">


<div dir="auto">Larry</div>


</div>


</div>


<div name="messageReplySection">On 28 Sep 2021, 00:31 +0100, Gerwin Klein <kleing@unsw.edu.au>, wrote:<br>


<blockquote type="cite" style="border-left-color: grey; border-left-width: thin; border-left-style: solid; margin: 5px 5px;padding-left: 10px;">


<br>


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


<br>


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.<br>


<br>


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.<br>


</div>


</blockquote>


</div>


</body>


</html>