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