index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
doc
Commit message (
Expand
)
Author
Age
*
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-10-19
|
\
|
*
Reference Manual: Applying standard style recommendation about not
Hugo Herbelin
2015-10-18
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-10-15
|
\
|
|
*
Fix some typos.
Guillaume Melquiond
2015-10-14
|
*
Fix some typos.
Guillaume Melquiond
2015-10-13
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-10-12
|
\
|
|
*
Documenting matching under binders.
Hugo Herbelin
2015-10-11
|
*
Fix a few latex errors in documentation of Proof Using (e.g. \tt*).
Guillaume Melquiond
2015-10-10
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-10-09
|
\
|
|
*
Proof using: let-in policy, optional auto-clear, forward closure*
Enrico Tassi
2015-10-08
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-10-06
|
\
|
|
*
Fix typo. (Fix bug #4355)
Guillaume Melquiond
2015-10-04
|
*
Mark the Coq.Compat files for documentation. (Fix bug #4353)
Guillaume Melquiond
2015-10-02
|
*
Fixing error messages about Hint.
Hugo Herbelin
2015-10-02
|
*
Improving reference manual in that auto uses simple apply rather than apply.
Hugo Herbelin
2015-10-02
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-10-02
|
\
|
|
*
Fixing documentation wrt the ctrl-shift-u Unicode input method (see #2013).
Hugo Herbelin
2015-09-30
|
*
Make -load-vernac-object respect the loadpath.
Guillaume Melquiond
2015-09-28
|
*
Documenting how to support some special unicode characters in coqdoc
Hugo Herbelin
2015-09-26
|
*
Clarifying the doc of coqdoc --utf8 as discussed on coq-club on August 19, 2015.
Hugo Herbelin
2015-09-26
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-09-25
|
\
|
|
*
The -require option now accepts a logical path instead of a physical one.
Pierre-Marie Pédrot
2015-09-25
|
*
Updating the documentation and the toolchain w.r.t. the change in -compile.
Pierre-Marie Pédrot
2015-09-25
|
*
Fixing tutorial.
Pierre-Marie Pédrot
2015-09-21
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-09-13
|
\
|
|
*
typo in refman.
Pierre Courtieu
2015-09-10
*
|
Documenting the new behaviour of the Shrink Obligations flag.
Pierre-Marie Pédrot
2015-09-08
*
|
Documenting the Shrink Abstract option.
Pierre-Marie Pédrot
2015-08-22
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-08-22
|
\
|
|
*
Remove generatable documentation files from repository. (Fix bug #4315)
Guillaume Melquiond
2015-08-17
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-08-05
|
\
|
|
*
Granting Jason's request for an ad hoc compatibility option on
Hugo Herbelin
2015-08-02
|
*
Fix typos in the Extraction part of the reference manual.
Guillaume Melquiond
2015-07-31
|
*
Fix typos in the Micromega part of the reference manual.
Guillaume Melquiond
2015-07-31
|
*
Improve the table of content of the reference manual.
Guillaume Melquiond
2015-07-31
|
*
Remove some outdated files and fix permissions.
Guillaume Melquiond
2015-07-31
|
*
Avoid suggesting elim and decompose in the FAQ.
Guillaume Melquiond
2015-07-30
|
*
Remove some output of Qed in the FAQ.
Guillaume Melquiond
2015-07-30
|
*
Fix some broken Coq scripts in the documentation.
Guillaume Melquiond
2015-07-30
|
*
Improve the FAQ a bit.
Guillaume Melquiond
2015-07-29
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-07-29
|
\
|
|
*
Reset a dangling proof in the FAQ.
Guillaume Melquiond
2015-07-28
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-07-27
|
\
|
*
|
search: Add an output-name-only search option
Clément Pit--Claudel
2015-07-27
|
*
Regenerate the axiom figure of the FAQ.
Guillaume Melquiond
2015-07-26
|
*
Remove obsolete question about eta-conversion.
Guillaume Melquiond
2015-07-26
|
*
Refman: document Show Universes.
Matthieu Sozeau
2015-07-22
|
*
Remove obsolete documentation. (Fix bug #4238)
Guillaume Melquiond
2015-07-22
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-07-18
|
\
|
|
*
Fix documentation of universes.
Matthieu Sozeau
2015-07-08
[next]