Email Gateway (Aug 22 2022 at 15:26): Email Gateway (Aug 22 2022 at 15:26):From: Gergely Buday <buday.gergely@uni-eszterhazy.hu>
Hi,
I am to use the 2005 version of Isabelle for discovering old proofs.
I could not find documentation for it, neither on the Internet, nor in the
release, it seems that it was not part of tha package then.
I am interested in running the proofs step by step, both on the command
line, and, if possible, with Proof General.
Where can I find relevant documentation?
Email Gateway (Aug 22 2022 at 15:27):From: "C. Diekmann" <diekmann@in.tum.de>
Dear Gergely,
downloading the tar.gz for Isabelle2005 (October 2005) from
http://isabelle.in.tum.de/download_past.html
I found for example ref.dvi and tutorial.dvi in the doc folder. It looks
like tutorial.dvi covers some Proof General.
Hope this helps,
Cornelius
Last updated: Apr 26 2024 at 12:28 UTC