-
POTTIER Francois authored
This is the first version of Menhir where `menhir --coq` produces qualified references such as `MenhirLib.Grammar`, etc.
d44a47c9
This is the first version of Menhir where `menhir --coq` produces qualified references such as `MenhirLib.Grammar`, etc.