GitLab

do not define the same identifiers.

Conflicts:
	papers/2016_c_parsing/challenges.tex

Add Menhir's version number at the bottom right of every page.

of menhir --suggest-ocamlfind, so that the Makefile works when
Menhir is compiled as a Windows executable. (Suggested by Jonathan
Protzenko.)

bindings of the form [x = $i] for ocamlyacc. This should work around a
name capture caused by the fact that ocamlyacc internally translates
[$i] to [_i] (and our own variables are often of the form [_i]).