diff options
author | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2017-05-14 12:01:56 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2017-06-27 14:50:48 +0200 |
commit | 555e9bb113664b5dc9b7f2e5acb84de0831fbbc4 (patch) | |
tree | cd4fcbf8cbf53821927c804813e8e24688aee56b /engine/proofview_monad.mli | |
parent | ce1e1dba837ad6e2c79ff7e531b5e3adea3cd327 (diff) |
A cleaning phase about ocaml file names.
Ocaml file names are restricted since 2008 to A..Z followed by a..z0..9'_.
We take this constraint into account in tools manipulating Ocaml file
names.
Diffstat (limited to 'engine/proofview_monad.mli')
0 files changed, 0 insertions, 0 deletions