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

Makarius makarius at sketis.net
Mon Sep 27 19:51:29 CEST 2021

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)

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.


More information about the isabelle-dev mailing list