Mentions légales du service
Skip to content
GitLab
Explore
Sign in
POTTIER Francois
menhir
Repository
menhir
src
syntax.ml
Find file
Blame
History
Permalink
Renamed syntax.mli to syntax.ml. This should allow writing [module S = Syntax].
· b179499c
POTTIER Francois
authored
Dec 04, 2017
b179499c