-
Rodolphe Lepigre authored
This includes: - A more robust behaviour of [refinedc init], including suggestions. - A new [Coq_path] module to convert between strings and module paths.
d84c5e66
This includes: - A more robust behaviour of [refinedc init], including suggestions. - A new [Coq_path] module to convert between strings and module paths.