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
*
fake_ide: use the now available Status XML message
Enrico Tassi
2016-11-17
*
Merge remote-tracking branch 'github/pr/360' into v8.6
Maxime Dénès
2016-11-17
|
\
*
\
Merge commit '633ed9c' into v8.6
Maxime Dénès
2016-11-17
|
\
\
|
*
|
Add test suite files for 4700-4785
Jason Gross
2016-11-17
|
|
*
[stm] Remove STM-related vernaculars
Emilio Jesus Gallego Arias
2016-11-17
*
|
|
Merge remote-tracking branch 'github/pr/362' into v8.6
Maxime Dénès
2016-11-17
|
\
\
\
|
*
|
|
Minor debug printing bug,
Matthieu Sozeau
2016-11-16
|
*
|
|
Revert more of a477dc for good measure
Matthieu Sozeau
2016-11-16
|
|
|
/
|
|
/
|
*
|
|
Merge remote-tracking branch 'github/pr/361' into v8.6
Maxime Dénès
2016-11-16
|
\
\
\
|
|
/
/
|
/
|
|
|
*
|
[doc] Mention XML protocol on changes.
Emilio Jesus Gallego Arias
2016-11-16
|
/
/
*
|
Merge remote-tracking branch 'github/pr/358' into v8.6
Maxime Dénès
2016-11-15
|
\
\
|
*
|
Revert part of a477dc, disallow_shelved
Matthieu Sozeau
2016-11-15
|
/
/
*
|
Remove README.win until we come up with new instructions.
Maxime Dénès
2016-11-14
*
|
Set version number to 8.6beta1.
Maxime Dénès
2016-11-14
*
|
Remove the list of bug fixes from CHANGES.
Maxime Dénès
2016-11-14
*
|
Fix bug in warnings: -w foo was silent when foo did not exist.
Maxime Dénès
2016-11-14
*
|
Do not mention "none" in warnings doc, as it is there for compatibility.
Maxime Dénès
2016-11-14
*
|
Coqide: fixing default local links for refman and stdlib.
Hugo Herbelin
2016-11-11
*
|
Making explicit that a result is discarded (ocaml warning).
Hugo Herbelin
2016-11-11
*
|
Move OSX script.
Maxime Dénès
2016-11-10
*
|
Add Michael Soegtrop's new script to build windows installer.
Maxime Dénès
2016-11-10
*
|
Remove old windows build scripts.
Maxime Dénès
2016-11-10
*
|
Update CHANGES and credits for 8.6beta1.
Maxime Dénès
2016-11-10
*
|
Updating a comment in test-suite.
Hugo Herbelin
2016-11-10
*
|
Merge commit 'b385fbb' into v8.6
Maxime Dénès
2016-11-08
|
\
\
|
*
|
Use pf_get_type_of to avoid blowup in pose proof of large proof terms
Matthieu Sozeau
2016-11-08
*
|
|
Merge remote-tracking branch 'github/pr/348' into v8.6
Maxime Dénès
2016-11-08
|
\
\
\
*
|
|
|
Update documentation of Arguments after recent changes.
Maxime Dénès
2016-11-08
|
*
|
|
Rewording from Enrico
Matthieu Sozeau
2016-11-08
|
*
|
|
After Emilio's comment.
Matthieu Sozeau
2016-11-07
*
|
|
|
Merge remote-tracking branch 'github/pr/339' into v8.6
Maxime Dénès
2016-11-07
|
\
\
\
\
|
|
_
|
/
/
|
/
|
|
|
|
*
|
|
Mention notypeclasses refine in CHANGES
Matthieu Sozeau
2016-11-07
|
*
|
|
CHANGES for this branch.
Matthieu Sozeau
2016-11-07
|
*
|
|
Document two new variants of refine
Matthieu Sozeau
2016-11-07
|
*
|
|
Fixes to compile with ocaml 4.01
Matthieu Sozeau
2016-11-07
|
|
*
|
More accurate contributor list.
Matthieu Sozeau
2016-11-07
|
|
*
|
Hugo and Maxime's 2nd pass of comments
Matthieu Sozeau
2016-11-07
*
|
|
|
Merge commit 'e6edb33' into v8.6
Maxime Dénès
2016-11-07
|
\
\
\
\
*
|
|
|
|
Improve formatting of a message in [Arguments].
Maxime Dénès
2016-11-07
*
|
|
|
|
Fix #5181: [Arguments] no longer correctly checks the length of arguments lists
Maxime Dénès
2016-11-07
*
|
|
|
|
Fix #5182: "Arguments names must be distinct." is bogus and underinformative
Maxime Dénès
2016-11-07
|
*
|
|
|
More explicit name for status of unification constraints.
Maxime Dénès
2016-11-07
|
|
|
*
|
Hugo's comments
Matthieu Sozeau
2016-11-06
|
|
|
*
|
Maxime's comments
Matthieu Sozeau
2016-11-06
|
|
|
*
|
Fixes from Enrico's review
Matthieu Sozeau
2016-11-06
*
|
|
|
|
Not using style tags when translating/beautifying a file.
Hugo Herbelin
2016-11-05
*
|
|
|
|
Removing a special treatment for empty lines in comments.
Hugo Herbelin
2016-11-05
*
|
|
|
|
Removing obsolete parsing of strings à la v7 in comments.
Hugo Herbelin
2016-11-05
|
|
|
*
|
Credits for 8.6
Matthieu Sozeau
2016-11-05
|
|
|
*
|
Minor fix in documentation
Matthieu Sozeau
2016-11-05
|
|
_
|
/
/
|
/
|
|
|
[next]