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
...
*
Setting an unknown option now always a warning. Fixes #4947.
Maxime Dénès
2016-08-30
*
Fixing an anomaly in printing a unification error message.
Hugo Herbelin
2016-08-20
*
Remove extraneous dot in error message (bug #4832).
Guillaume Melquiond
2016-08-19
*
Fix incorrect glob data for module symbols (bug #2336).
Guillaume Melquiond
2016-08-18
*
Fixing #5001 (metas not cleaned properly in clenv_refine_in).
Hugo Herbelin
2016-08-17
*
Fixing CHANGES.
Hugo Herbelin
2016-08-17
*
infoH: output via msg_* to make the XML protocol happy
Enrico Tassi
2016-08-17
*
Output a break before a list only if there was an empty line (bug #4606).
Guillaume Melquiond
2016-08-16
*
Merge branch 'pr255' into v8.5 (bug #5015)
Guillaume Melquiond
2016-08-16
|
\
|
*
Fix regression in Coqide's "forward one command" command
Xavier Leroy
2016-08-14
|
/
*
Do not assume the "TERM" environment variable is always set (bug #5007).
Guillaume Melquiond
2016-08-11
*
Use the "md5" command on OpenBSD (bug #5008).
Guillaume Melquiond
2016-08-11
*
Fix #5000: Document the native compiler soundness bug due to Unicode mangling.
Pierre-Marie Pédrot
2016-08-07
*
Fix documentation typo (bug #4994).
Guillaume Melquiond
2016-08-04
*
Fix bug #4673: regression in setoid_rewrite.
Matthieu Sozeau
2016-07-29
*
Update CHANGES about #3886 bugfix
Matthieu Sozeau
2016-07-29
*
Fix bug #3886, generation of obligations of fixes
Matthieu Sozeau
2016-07-29
*
Fix #4769, univ poly and elim schemes in sections
Matthieu Sozeau
2016-07-29
*
Update CHANGES about critical bugfix and others
Matthieu Sozeau
2016-07-26
*
Merge branch 'bug4754' into v8.5
Matthieu Sozeau
2016-07-26
|
\
|
*
Fix bug #4754, allow conversion problems to remain
Matthieu Sozeau
2016-07-26
|
/
*
Merge branch 'bug4876' into v8.5
Matthieu Sozeau
2016-07-26
|
\
|
*
Fix bug #4876: critical bug in guard condition checker.
Matthieu Sozeau
2016-07-25
|
/
*
Update CHANGES
Matthieu Sozeau
2016-07-20
*
Fix bug #4780: universe leak in letin_tac
Matthieu Sozeau
2016-07-20
*
Fix Errors.out missing a dot...
Matthieu Sozeau
2016-07-19
*
Fixing printing of evar name in an error message of instantiate.
Hugo Herbelin
2016-07-13
*
Typo.
Hugo Herbelin
2016-07-13
*
Add a few fixes in CHANGES that were forgotten.
Maxime Dénès
2016-07-08
*
Fix test file for #4858.
Maxime Dénès
2016-07-08
*
Update csdp.cache.
Maxime Dénès
2016-07-08
*
Test file for #4858.
Maxime Dénès
2016-07-08
*
Add test file for #4880.
Maxime Dénès
2016-07-08
*
Update COPYRIGHT.
Maxime Dénès
2016-07-08
*
Merge remote-tracking branch 'github/pr/243' into v8.5
Maxime Dénès
2016-07-08
|
\
*
|
Prevent "Load" from displaying all the intermediate subgoals.
Guillaume Melquiond
2016-07-07
*
|
Do not display goals in -compile-verbose mode (bug #4841).
Guillaume Melquiond
2016-07-07
*
|
Update csdp.cache.
Maxime Dénès
2016-07-06
*
|
Fix typo in configure (noticed by Jason).
Maxime Dénès
2016-07-06
|
*
improved complexity in nsatz
thery
2016-07-06
*
|
Merge remote-tracking branch 'github/pr/199' into v8.5
Maxime Dénès
2016-07-06
|
\
\
*
\
\
Merge remote-tracking branch 'github/pr/241' into v8.5
Maxime Dénès
2016-07-06
|
\
\
\
*
|
|
|
Bump version number in preparation for 8.5pl2 release.
Maxime Dénès
2016-07-06
*
|
|
|
Deduplicate some names in .mailmap
Jason Gross
2016-07-06
*
|
|
|
Fix indentation of configure printout
Jason Gross
2016-07-06
|
|
|
*
Bug Fixes : 4851 4858 4880 for nsatz
thery
2016-07-06
|
|
_
|
/
|
/
|
|
|
*
|
Move option_map notation up
Jason Gross
2016-07-05
|
*
|
Restore option_map in FMapFacts
Jason Gross
2016-07-05
|
/
/
|
*
Compat84: Don't mess with stdlib modules
Jason Gross
2016-07-05
*
|
Prevent unsafe overwriting of Required modules by toplevel library.
Maxime Dénès
2016-07-05
[prev]
[next]