*** 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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
