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

[Makarius]

On 27/09/2021 19:37, Lawrence Paulson wrote:
> Apple would add a suffix like S or SE. Or maybe Isabelle 2021 Pro? 😀

Now that scheme is really from the 1990s.

Did you know that an early candidate for the Isar proof language was actually
"IsaPro"? It would have meant "Intelligible semi-automated Proving".


As the inventor of the original Isabelle release naming scheme, do you have
any inclinations to change anything, or keep the status-quo? For example:

   Isabelle2021-1 (December 2021)
   Isabelle2021-Dec
   Isabelle2021-December
   Isabelle_Dec-2021
   Isabelle_December-2021

The last two would also amend an old misunderstanding of mine: You always had
something like Isabelle93.tar.gz but the name was intended to be "Isabelle 93"
with the space, right?. I've got that wrong, and discovered only 10 years later.


	Makarius