Mentions légales du service
Skip to content
GitLab
Explore
Sign in
POTTIER Francois
menhir
Repository
menhir
src
inspectionTableInterpreter.ml
Find file
Blame
History
Permalink
A little improvement in [InspectionTableInterpreter].
· 79cf38b5
POTTIER Francois
authored
Jan 09, 2015
The definition of the types [symbol] and [xsymbol] is no longer copied.
79cf38b5