Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] New Document Preparation Tool

Email Gateway (Aug 19 2022 at 09:41):

From: Alfio Martini <alfio.martini@acm.org>
Dear Isabelle Users,

The new document preparation system of Isabelle 2013 (based on isabelle
mkroot and isabelle build) is
great. It is like "How to Prepare Documents in Isabelle [for Dummies]" :-)

Thank you Makarius!

Best!

PS: See Isabelle System Manual, section 4.2.

Last updated: Apr 26 2024 at 01:06 UTC