index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
*
Remove Emacs modes.
Théo Zimmermann
2018-07-08
*
Merge PR #7921: Archive the `gallina` tool
Maxime Dénès
2018-07-07
|
\
*
\
Merge PR #7956: Rebuild coqtop$(EXE) in "make coqbinaries" in addition to coq...
Enrico Tassi
2018-07-07
|
\
\
*
\
\
Merge PR #8005: Fix compilation of Coq with camlp5 master branch.
Emilio Jesus Gallego Arias
2018-07-07
|
\
\
\
*
\
\
\
Merge PR #8001: Cache the build of the Nix package using Cachix.
Gaëtan Gilbert
2018-07-06
|
\
\
\
\
*
\
\
\
\
Merge PR #7821: [refine] obey the use_unification_heuristics flag
Pierre-Marie Pédrot
2018-07-06
|
\
\
\
\
\
*
\
\
\
\
\
Merge PR #8008: Add test for #8004.
Théo Zimmermann
2018-07-06
|
\
\
\
\
\
\
|
|
|
*
|
|
|
[pkg:nix] Add more comments and allow overriding extra substituters.
Théo Zimmermann
2018-07-06
|
*
|
|
|
|
|
Add test for #8004.
Gaëtan Gilbert
2018-07-06
|
/
/
/
/
/
/
|
|
|
*
/
/
Fix compilation of Coq with camlp5 master branch.
Pierre-Marie Pédrot
2018-07-06
|
|
_
|
/
/
/
|
/
|
|
|
|
*
|
|
|
|
Merge PR #7990: Convert timing tool to python3
Jason Gross
2018-07-05
|
\
\
\
\
\
|
|
*
|
|
|
refine: obey the use_unification_heuristics flag
Matthieu Sozeau
2018-07-05
|
|
/
/
/
/
|
/
|
|
|
|
*
|
|
|
|
Merge PR #7991: Make Travis faster by removing more builds.
Emilio Jesus Gallego Arias
2018-07-05
|
\
\
\
\
\
*
\
\
\
\
\
Merge PR #7994: Make bin/ in makefile, not configure.
Emilio Jesus Gallego Arias
2018-07-05
|
\
\
\
\
\
\
|
|
|
|
*
|
|
[pkg:nix] Stop using lib.inNixShell.
Théo Zimmermann
2018-07-05
|
|
|
|
*
|
|
[pkg:nix] Change the download method.
Théo Zimmermann
2018-07-05
|
|
|
|
*
|
|
[pkg:nix] Pass through the ocamlPackages version used to build.
Théo Zimmermann
2018-07-05
|
|
|
|
*
|
|
[pkg:nix] Cache the build using Cachix when signing key is set.
Théo Zimmermann
2018-07-05
|
|
_
|
_
|
/
/
/
|
/
|
|
|
|
|
|
|
*
|
|
|
Remove some Travis jobs to make the build faster.
Théo Zimmermann
2018-07-05
|
|
/
/
/
/
|
/
|
|
|
|
*
|
|
|
|
Merge PR #7746: Many small cleanups removing unused arguments and functions
Pierre-Marie Pédrot
2018-07-05
|
\
\
\
\
\
*
\
\
\
\
\
Merge PR #7979: TACTIC EXTEND in coqpp
Emilio Jesus Gallego Arias
2018-07-05
|
\
\
\
\
\
\
*
\
\
\
\
\
\
Merge PR #7973: Add a test build on NixOS to GitLab CI.
Gaëtan Gilbert
2018-07-04
|
\
\
\
\
\
\
\
*
\
\
\
\
\
\
\
Merge PR #7989: [ci] Avoid annoying detached head warning.
Gaëtan Gilbert
2018-07-04
|
\
\
\
\
\
\
\
\
|
|
|
|
|
|
*
|
|
Convert timing tools to run with both python2 and python3
Jasper Hugunin
2018-07-04
*
|
|
|
|
|
|
|
|
Merge PR #7993: doc: Fix markup in Calculus of Inductive Constructions
Théo Zimmermann
2018-07-04
|
\
\
\
\
\
\
\
\
\
|
*
|
|
|
|
|
|
|
|
doc: Fix markup in Calculus of Inductive Constructions
Fabian
2018-07-04
|
|
|
_
|
_
|
_
|
_
|
/
/
/
|
|
/
|
|
|
|
|
|
|
*
|
|
|
|
|
|
|
|
Merge PR #7992: Print something after the build completed if it wasn't a runn...
Gaëtan Gilbert
2018-07-04
|
\
\
\
\
\
\
\
\
\
|
|
/
/
/
/
/
/
/
/
|
/
|
|
|
|
|
|
|
|
|
*
|
|
|
|
|
|
|
Print something after the build completed if it wasn't a runner failure.
Théo Zimmermann
2018-07-04
|
/
/
/
/
/
/
/
/
|
*
/
/
/
/
/
/
[ci] Avoid annoying detached head warning.
Emilio Jesus Gallego Arias
2018-07-04
|
/
/
/
/
/
/
/
|
|
|
|
*
/
/
Make bin/ in makefile, not configure.
Gaëtan Gilbert
2018-07-04
|
|
_
|
_
|
/
/
/
|
/
|
|
|
|
|
|
*
|
|
|
|
Add a shell.nix that is not pinned to satisfy some developers' preference.
Théo Zimmermann
2018-07-03
|
*
|
|
|
|
Refactor default.nix to use optionals.
Théo Zimmermann
2018-07-03
|
*
|
|
|
|
Fix timing tools on NixOS.
Théo Zimmermann
2018-07-03
|
*
|
|
|
|
Add a test build of Nix package to GitLab CI.
Théo Zimmermann
2018-07-03
|
*
|
|
|
|
Adapt default.nix to allow nix-build to run the test-suite.
Théo Zimmermann
2018-07-03
|
/
/
/
/
/
*
|
|
|
|
Merge PR #7978: [ci] [docker] Make sure we don't install optional packages wi...
Gaëtan Gilbert
2018-07-03
|
\
\
\
\
\
|
|
|
*
|
|
Add overlay for equations.
Gaëtan Gilbert
2018-07-03
|
|
|
*
|
|
Library: use ocaml typing to show that we find at most 2 files
Gaëtan Gilbert
2018-07-03
|
|
|
*
|
|
Library.register_loaded_library: remove unused variable
Gaëtan Gilbert
2018-07-03
|
|
|
*
|
|
Glob_ops.rename_glob_vars: fix typo
Gaëtan Gilbert
2018-07-03
|
|
|
*
|
|
Glob_ops.fix_kind_eq: fix typo
Gaëtan Gilbert
2018-07-03
|
|
|
*
|
|
Pputils: fix typo
Gaëtan Gilbert
2018-07-03
|
|
|
*
|
|
Evarutil.(e_)new_Type: remove unused env argument
Gaëtan Gilbert
2018-07-03
|
|
|
*
|
|
Remove unused function Evd.whd_sort_variable
Gaëtan Gilbert
2018-07-03
|
|
|
*
|
|
Remove unused output of Universes.normalize_univ_variables
Gaëtan Gilbert
2018-07-03
|
|
|
*
|
|
Remove unused env argument to fresh_sort_in_family
Gaëtan Gilbert
2018-07-03
|
|
|
*
|
|
Coq_omega: remove unused Goal.enters
Gaëtan Gilbert
2018-07-03
|
|
|
*
|
|
Remove unused function Coq_omega.timing.
Gaëtan Gilbert
2018-07-03
|
|
|
*
|
|
Taccoerce: remove various unused arguments.
Gaëtan Gilbert
2018-07-03
|
|
|
*
|
|
Remove unused arguments to Ide_slave.concl_next_tac.
Gaëtan Gilbert
2018-07-03
[next]