Mentions légales du service
Skip to content
GitLab
Explore
Sign in
coq
coq
Repository
Branches
Overview
Active
Stale
All
v8.0
protected
6aecb9a1
·
Default CoqIDE modifiers for menu did not work (e.g. "d" was
·
Mar 08, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
v8.1
protected
f7cdf553
·
Minor patch to build Coq 8.1 on OS X (no native "cp --parent").
·
Apr 28, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
v8.4
protected
7f2240ff
·
Adding support for OCaml 4.06.0 (option -unsafe-string needed).
·
Dec 09, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
v8.3
protected
04a6362f
·
Adding support for OCaml 4.06.0 (option -unsafe-string needed).
·
Dec 09, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
v8.2
protected
be16dcb3
·
Adding support for OCaml 4.06.0 (option -unsafe-string needed).
·
Dec 27, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
v8.5
protected
df8c706c
·
Updating CHANGES about critical VM and universes bug.
·
Feb 21, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
v8.6
protected
0106ca8d
·
Updating CHANGES about critical VM and universes bug.
·
Feb 21, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
v8.7
protected
81ab3a7d
·
Merge PR #8199: Backport recent CI changes to v8.7.
·
Aug 17, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
v8.8
protected
0ed45a59
·
Set Coq version to 8.8.2.
·
Sep 25, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
v8.9
protected
f6f23d84
·
Backport PR #8394: Print the entire string to the CoqIDE screen, e.g. for "Print Options"
·
Sep 28, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
v8.18
protected
f022d5d1
·
Merge PR #18016: [release] bump version to 8.18.0
·
Sep 07, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
pr-17921
c9d35963
·
[CI merge] PR #17921: [release] script to publish opam packages
·
Sep 08, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
pr-18074
d871db26
·
[CI merge] PR #18074: Explain "Constant" in Locate output
·
Sep 20, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
pr-16868
d0d1213a
·
[CI merge] PR #16868: Generalize Add Zify to accept terms not just refs
·
Sep 28, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
pr-18118
e462d7c0
·
[CI merge] PR #18118: Ltac2: named type variables can't be defined
·
Oct 05, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
pr-18183
7cef4941
·
[CI merge] PR #18183: [stdlib] well-founded list extension
·
Oct 20, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
pr-18295
8e9e20a7
·
[CI merge] PR #18295: Doc: move prodn for filtered_import and import_categories
·
Nov 10, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
pr-14597
f01e216f
·
[CI merge] PR #14597: Deprecate undocumented syntax (arg_n:=term) for...
·
Nov 18, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
pr-18333
3e077b62
·
[CI merge] PR #18333: CI: delete .git of downloaded projects to reduce artifact size
·
Nov 19, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
pr-18335
f44ac282
·
[CI merge] PR #18335: Fix ci-compcert/ci-vst for local ci
·
Nov 19, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
Next