[isabelle] New Document Preparation Tool

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!


PS: See Isabelle System Manual, section 4.2.

Alfio Ricardo Martini
PhD in Computer Science (TU Berlin)
Associate Professor at Faculty of Informatics (PUCRS)
Coordenador do Curso de Ciência da Computação
Av. Ipiranga, 6681 - Prédio 32 - Faculdade de Informática
90619-900 -Porto Alegre - RS - Brasil

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.