*** 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