Skip to content
GitLab
Explore
Sign in
Raphaël Cauderlier
Sigmaid
Repository
sigmaid
coq_printer.ml
Find file
Blame
History
Permalink
Only add an initial '_' to identifiers printed to Coq when they start by
· c22da22d
Raphaël Cauderlier
authored
Sep 11, 2014
a digit.
c22da22d