Email Gateway (Feb 14 2021 at 18:43): Email Gateway (Feb 14 2021 at 18:43):From: Makarius <makarius@sketis.net>
Dear Isabelle users,
the end of the Isabelle2021 release process was originally planned for
tomorrow (15-Feb-2021), but I will be on travel for approx. 1 week. The final
version will presumably be published towards the end of the week.
So here is some very last release candidate
https://isabelle.sketis.net/website-Isabelle2021-RC6
See again
https://isabelle-dev.sketis.net/phame/post/view/28/release_candidates_for_isabelle2021
and 4 for further details.
The main change: more examples and more documentation for Isabelle/Naproche:
it is like a formal version of LaTeX with every block of a statement or proof
checked by E Prover (similar to Sledgehammer).
Any feedback about release candidates should be posted with a meaningful
Subject including the version (not just a clone of this announcement).
People who have tested earlier release candidates should definitely follow
this one, otherwise some last-minute problems might remain undetected.
Makarius
Last updated: Jan 04 2025 at 20:18 UTC