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
...
|
*
|
|
|
|
|
Lazily load constants in micromega (bug #5134).
Guillaume Melquiond
2016-11-24
|
*
|
|
|
|
|
Fix some documentation typos.
Guillaume Melquiond
2016-11-24
|
*
|
|
|
|
|
Fix incorrect long multiplication in the VM.
Guillaume Melquiond
2016-11-24
*
|
|
|
|
|
|
Fix locality of "Hint Resolve <->" (bug #5189).
Guillaume Melquiond
2016-11-22
|
*
|
|
|
|
|
Properly parenthesize "ltac:" arguments (bug #5169).
Guillaume Melquiond
2016-11-22
|
|
|
|
|
|
*
(v8.6) Update dev/doc/changes.txt with HintsResolveEntry changes
Jason Gross
2016-11-21
|
|
|
_
|
_
|
_
|
/
|
|
/
|
|
|
|
|
|
|
*
|
|
(v8.6) Update dev/doc/changes with things about mem_named_context
Jason Gross
2016-11-21
|
|
|
/
/
/
|
|
/
|
|
|
|
|
|
*
|
(v8.6) Make a note about wit_constr and Constrarg in dev/doc/changes
Jason Gross
2016-11-21
|
|
|
/
/
|
|
/
|
|
|
|
|
*
(v8.6) Add example in dev/doc/changes involving Tacmach.project
Jason Gross
2016-11-21
|
|
|
/
|
|
/
|
|
*
|
Remove spurious spaces in merlin file generated by coq_makefile (bug #5213).
Guillaume Melquiond
2016-11-21
|
*
|
Stop parsing -compat-notations options, which are no longer supported (bug #3...
Guillaume Melquiond
2016-11-21
*
|
|
Tests for info/debug auto/eauto.
Hugo Herbelin
2016-11-19
*
|
|
Merge branch 'v8.6'
Pierre-Marie Pédrot
2016-11-18
|
\
|
|
|
*
|
Revert "Merge remote-tracking branch 'github/pr/360' into v8.6"
Maxime Dénès
2016-11-18
|
*
|
Revert "fake_ide: use the now available Status XML message"
Maxime Dénès
2016-11-18
|
|
*
Add missing label. Fixes broken ref.
Théo Zimmermann
2016-11-17
|
|
/
|
*
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
[prev]
[next]