index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
INSTALL.md
Age
Commit message (
Expand
)
Author
2020-12-04
[doc] coq_environment.txt
Enrico Tassi
2020-09-22
Merge PR #13049: [configure] Fix version checks for lablgtk and zarith
coqbot-app[bot]
2020-09-17
[configure] Fix version checks for lablgtk and zarith
Emilio Jesus Gallego Arias
2020-09-17
[install] Rewording of primitive floats.
Emilio Jesus Gallego Arias
2020-09-17
[build] Don't link `num` anymore in Coq
Emilio Jesus Gallego Arias
2020-09-15
[zarith] [micromega] Bump to 1.10 and remove some hacks
Emilio Jesus Gallego Arias
2020-09-14
[ci] [docker] Up testing to OCaml 4.11.1
Emilio Jesus Gallego Arias
2020-09-10
Fix typos.
Théo Zimmermann
2020-09-09
Update INSTALL.md
Matthieu Sozeau
2020-08-27
[numeral] [plugins] Switch from `Big_int` to ZArith.
Emilio Jesus Gallego Arias
2020-05-14
Add advisories on OCaml setup to INSTALL.md.
Théo Zimmermann
2020-03-29
[ci] [gitlab] Bump to edge to OCaml 4.10, add test-suite for OCaml 4.11
Emilio Jesus Gallego Arias
2020-03-18
[ci] [docker] Update to 4.09.1
Emilio Jesus Gallego Arias
2019-12-13
[doc] [INSTALL] split make-based install instructions to its own file.
Emilio Jesus Gallego Arias
2019-12-13
[doc] [INSTALL] Port INSTALL to markdown format.
Emilio Jesus Gallego Arias
