Skip to content
  • Rodolphe Lepigre's avatar
    Improve the handling of Coq path. · d84c5e66
    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