Email Gateway (Nov 27 2025 at 01:08): Email Gateway (Nov 27 2025 at 01:08):From: Changyang Zeng <cl-isabelle-users@lists.cam.ac.uk>
Hi users of Isabelle,
I am wondering if this version is the latest Isar reference manual,
https://courses.grainger.illinois.edu/cs576/sp2015/doc/isar-ref.pdf, but
it's from 2014.
The website https://isabelle.in.tum.de/ seems not reachable currently, so I
can't download it from this link https://isabelle.in.tum.de/doc/isar-ref.pdf
.
Thank you,
Changyang
Email Gateway (Nov 27 2025 at 10:54):From: Julin S <julinshaji01@gmail.com>
Looks like the latest reference manual is from March 13, 2025.
I could get it from the link from the official website.
https://isabelle.in.tum.de/doc/isar-ref.pdf
Email Gateway (Nov 27 2025 at 11:03):From: Makarius <makarius@sketis.net>
On 27/11/2025 02:07, Changyang Zeng (via cl-isabelle-users Mailing List) wrote:
I am wondering if this version is the latest Isar reference manual, https://
courses.grainger.illinois.edu/cs576/sp2015/doc/isar-ref.pdf <https://
courses.grainger.illinois.edu/cs576/sp2015/doc/isar-ref.pdf>, but it's from 2014.
For anything found on the Web, the context is more important than the text.
Here the context is a course "Topics in Automated Deduction (Spring 2015)":
https://courses.grainger.illinois.edu/cs576/sp2015 so it is to be expected
that the document is before that date.
Note that regular Isabelle releases always have the proper documentation
included. E.g. see the Documentation panel in Isabelle/jEdit or "isabelle doc"
on the command-line.
Makarius
Last updated: Dec 02 2025 at 16:32 UTC