version.tex 54 Bytes
Newer Older
1
\gdef\menhirversion{(unreleased)} % To be overridden.