Convert Vernacular section of gallina chapter to use prodn - #11423

Merged

Zimmi48 merged 5 commits into

rocq-prover:masterfrom

jfehrle:prodn_vernac

Feb 28, 2020

Commits on Feb 25, 2020

Allow multiple indexed names on a single .. cmd::, etc.
jfehrle
committed
45a249c
Generate prodnCommands file that compares commands in the grammar to
jfehrle
committed
8c192db
Add OPTREF and INSERTALL editing operations
jfehrle
committed
1e73177

Commits on Feb 26, 2020

Addr 'attr' directive for attributes
jfehrle
committed
3c23ebe

Commits on Feb 28, 2020

Convert Gallina Vernac to use prodn
jfehrle
committed
ff0ff3e