[isabelle-dev] NEWS: antiquotation @{rail}

Makarius makarius at sketis.net
Thu May 5 23:54:48 CEST 2011


*** Document preparation ***

* Antiquotation @{rail} layouts railroad syntax diagrams, see also
isar-ref manual.

* doc-src build process is independent of external rail executable.

See Isabelle/936cd1c493b4


 	Makarius


More information about the isabelle-dev mailing list