Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] isar-ref: railsetup

view this post on Zulip Email Gateway (Aug 19 2022 at 16:48):

From: Christian Sternagel <c.sternagel@gmail.com>
I guess in isar-ref (page 73) it should be "railsetup" instead of
"pdfsetup" (or maybe both)?

cheers

chris

view this post on Zulip Email Gateway (Aug 19 2022 at 16:48):

From: Makarius <makarius@sketis.net>
It should be just railsetup. I will change that.

Makarius

https://stop-ttip.org/signatures-member-states

Last updated: Nov 21 2024 at 12:39 UTC