index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
dev
Commit message (
Expand
)
Author
Age
*
Merge PR #6047: A generic printer for ltac values
Maxime Dénès
2017-11-03
|
\
*
\
Merge PR #6036: [toplevel] Export the last document seen after `Drop`.
Maxime Dénès
2017-11-03
|
\
\
*
\
\
Merge PR #6031: [ci] Switch back to upstream version of Math-Classes and Corn.
Maxime Dénès
2017-11-03
|
\
\
\
*
\
\
\
Merge PR #6027: Mention the migration from Bugzilla to GitHub issues in dev/d...
Maxime Dénès
2017-11-03
|
\
\
\
\
*
\
\
\
\
Merge PR #6024: Update of Coq version history
Maxime Dénès
2017-11-03
|
\
\
\
\
\
|
|
|
|
|
*
Using a specific function to register vernac printers.
Hugo Herbelin
2017-11-02
|
|
_
|
_
|
_
|
/
|
/
|
|
|
|
|
|
|
|
*
[toplevel] Export the last document seen after `Drop`.
Emilio Jesus Gallego Arias
2017-10-28
|
|
|
*
|
[ci] Switch back to upstream version of Math-Classes and Corn.
Théo Zimmermann
2017-10-27
|
|
|
|
/
|
|
*
/
Mention the migration from Bugzilla to GitHub issues in dev/doc/changes.
Théo Zimmermann
2017-10-27
|
|
|
/
*
|
|
Merge PR #6015: [general] Remove Econstr dependency from `intf`
Maxime Dénès
2017-10-27
|
\
\
\
*
\
\
\
Merge PR #677: Trunk+abstracting injection flags
Maxime Dénès
2017-10-27
|
\
\
\
\
|
|
_
|
_
|
/
|
/
|
|
|
|
*
|
|
Passing around the flag for injection so that tactics calling inj at
Hugo Herbelin
2017-10-26
|
|
|
*
Updating version history wrt 8.7.
Hugo Herbelin
2017-10-26
|
|
|
*
Updating version history wrt 8.6.
Hugo Herbelin
2017-10-26
|
|
|
*
Updating version history wrt 8.5.
Hugo Herbelin
2017-10-26
|
|
_
|
/
|
/
|
|
|
|
*
[general] Remove Econstr dependency from `intf`
Emilio Jesus Gallego Arias
2017-10-25
|
|
/
*
|
Merge PR #6003: Point HoTT back at master, which now supports Coq master
Maxime Dénès
2017-10-25
|
\
\
|
*
|
Point HoTT back at master, which now supports Coq master
Jason Gross
2017-10-23
*
|
|
Switch testing branch back to CompCert upstream.
Théo Zimmermann
2017-10-20
|
|
/
|
/
|
*
|
Merge PR #5984: CI: build lambdaRust (which depends on Iris) rather than just...
Maxime Dénès
2017-10-20
|
\
\
|
*
|
rename ci-iris-coq -> ci-iris-lambda-rust
Ralf Jung
2017-10-19
|
*
|
CI: build lambdaRust (which depends on Iris) rather than just Iris
Ralf Jung
2017-10-19
|
|
/
*
/
Bugzilla autolink: avoid linking inside links (fix #5974).
Gaëtan Gilbert
2017-10-18
|
/
*
Merge PR #540: [configure] Support for flambda flags.
Maxime Dénès
2017-10-10
|
\
*
\
Merge PR #1067: Iris CI: use opam to install dependencies
Maxime Dénès
2017-10-10
|
\
\
|
|
*
[configure] Support for flambda flags.
Emilio Jesus Gallego Arias
2017-10-10
|
|
/
|
/
|
*
|
Merge PR #1115: Autolink to Github PRs from Bugzilla
Maxime Dénès
2017-10-09
|
\
\
*
\
\
Merge PR #1117: [ci] Remove temporary bignums overlay.
Maxime Dénès
2017-10-09
|
\
\
\
*
|
|
|
Extract changes to the XML protocol from its doc
Théo Zimmermann
2017-10-06
*
|
|
|
Make the XML protocol doc more version-independent
Théo Zimmermann
2017-10-06
*
|
|
|
Merge PR #1112: Fix GeoCoq CI and remove it from allowed failures
Maxime Dénès
2017-10-05
|
\
\
\
\
|
|
*
|
|
[ci] Remove temporary bignums overlay.
Théo Zimmermann
2017-10-04
|
|
/
/
/
|
/
|
|
|
|
|
*
|
autolink to Github PRs from Bugzilla
Paul Steckler
2017-10-03
|
|
/
/
|
/
|
|
*
|
|
Merge PR #1104: Browser userscript to turn BZ#XXXX occurences into links.
Maxime Dénès
2017-10-03
|
\
\
\
|
|
*
|
Fix GeoCoq build by using a shared CI configure.
Théo Zimmermann
2017-10-03
|
|
/
/
|
/
|
|
*
|
|
Merge PR #1023: dev/build/windows/makecoq_mingw.sh: install camlp5's META file
Maxime Dénès
2017-10-03
|
\
\
\
|
|
|
*
start counting at 0...
Ralf Jung
2017-09-29
|
|
|
*
Iris CI: use opam to determine std++ git commit
Ralf Jung
2017-09-29
|
|
_
|
/
|
/
|
|
|
|
*
Browser userscript to turn BZ#XXXX occurences into links.
Gaëtan Gilbert
2017-09-27
|
|
/
|
/
|
*
|
Merge PR #1055: Remove STM vernaculars
Maxime Dénès
2017-09-22
|
\
\
*
\
\
Merge PR #1065: In gitlab set TRAVIS_BRANCH so user overlays will work as exp...
Maxime Dénès
2017-09-22
|
\
\
\
*
|
|
|
Do not reinstall preinstalled packages under AppVeyor.
Maxime Dénès
2017-09-21
*
|
|
|
Print Cygwin setup output rather than logging in to a file.
Maxime Dénès
2017-09-21
|
*
|
|
In gitlab set TRAVIS_BRANCH so user overlays will work as expected.
Gaëtan Gilbert
2017-09-20
|
/
/
/
|
*
|
Improve documentation of Status message.
Maxime Dénès
2017-09-19
*
|
|
Merge PR #1043: Disable OSX signing for temporary artifacts.
Maxime Dénès
2017-09-19
|
\
\
\
|
|
/
/
|
/
|
|
*
|
|
Merge PR #979: Fix install-doc target and other gitlab failures
Maxime Dénès
2017-09-15
|
\
\
\
*
\
\
\
Merge PR #939: [general] Merge parsing with highparsing, put toplevel at the ...
Maxime Dénès
2017-09-15
|
\
\
\
\
*
\
\
\
\
Merge PR #962: Move dev/doc/changes to Markdown.
Maxime Dénès
2017-09-15
|
\
\
\
\
\
|
|
|
*
|
|
Fix GitLab CI
Gaëtan Gilbert
2017-09-13
[next]