Patrick Nicodemus (May 15 2023 at 19:31): Patrick Nicodemus (May 15 2023 at 19:31):https://isabelle.in.tum.de/doc/tutorial.pdf
This tutorial was apparently last updated and published on October 25, 2022.
However it references Proof General and Emacs frequently and jedit never comes up at all.
How much of this tutorial is up to date and how much is outdated?
Wolfgang Jeltsch (May 15 2023 at 22:54):On the Isabelle documentation page, this tutorial is listed under Old Isabelle Manuals. It might have just been rebuilt on October 25, 2022, perhaps with some minor updates for Isabelle2022. October 25, 2022 was around the time Isabelle2022 was released; I recently saw AFP articles updated for Isabelle2022 with a publication date of October 27, 2022.
Mathias Fleury (May 16 2023 at 04:58):You should read the prog-prove instead (or directly the http://concrete-semantics.org/concrete-semantics.pdf, as the prog-prove is the beginning of it)
Last updated: Apr 27 2024 at 20:14 UTC