Mentions légales du service

Skip to content
  • Vadim Zaliva's avatar
    Install sources. · 81831def
    Vadim Zaliva authored and Guillaume Melquiond's avatar Guillaume Melquiond committed
    The install target of coq-flocq does not install sources. Most opam-installed
    coq libraries install sources (.v files) along with compiled versions (.vo).
    This is convenient as it allows to examine definitions from IDE (ProofGeneral)
    during development.
    81831def