Skip to content
GitLab
Projects Groups Topics Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • C coq
  • Project information
    • Project information
    • Activity
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributor statistics
    • Graph
    • Compare revisions
  • Deployments
    • Deployments
    • Releases
  • Packages and registries
    • Packages and registries
    • Container Registry
  • Analytics
    • Analytics
    • Repository
  • Activity
  • Graph
  • Commits
Collapse sidebar
  • coq
  • coq
  • Repository
  • Branches
  • Overview
  • Active
  • Stale
  • All
Stale branches
  • v8.0
    6aecb9a1 · Default CoqIDE modifiers for menu did not work (e.g. "d" was · Mar 08, 2016
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • v8.1
    f7cdf553 · Minor patch to build Coq 8.1 on OS X (no native "cp --parent"). · Apr 28, 2016
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • v8.4
    7f2240ff · Adding support for OCaml 4.06.0 (option -unsafe-string needed). · Dec 09, 2017
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • v8.3
    04a6362f · Adding support for OCaml 4.06.0 (option -unsafe-string needed). · Dec 09, 2017
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • v8.2
    be16dcb3 · Adding support for OCaml 4.06.0 (option -unsafe-string needed). · Dec 27, 2017
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
Show more stale branches