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
*
Reference Manual/Credits: expand the paragraph on the new proof engine to mat...
Arnaud Spiwack
2015-01-21
*
Reference Manual/Credits: native compute is a major contribution.
Arnaud Spiwack
2015-01-21
*
Reference manual/Credits: populate the "various smaller-scale improvements" p...
Arnaud Spiwack
2015-01-21
*
Reference Manual/Credits: remove a duplicate.
Arnaud Spiwack
2015-01-21
*
Reference manual: pass over the credit section for English.
Arnaud Spiwack
2015-01-21
*
Reference manual: fix typo in doc of [tryif/then/else].
Arnaud Spiwack
2015-01-21
*
Univs: Complete documentation in refman.
Matthieu Sozeau
2015-01-17
*
Minor fixes to the refman credits to be continued.
Matthieu Sozeau
2015-01-15
*
Move explanations about primitive projections to the manual.
Matthieu Sozeau
2015-01-15
*
Expand Credits for 8.5 and doc on universes
Matthieu Sozeau
2015-01-15
*
Tentatively updating credits while remaining brief.
Hugo Herbelin
2015-01-15
*
Reference manual: I had previously omitted the syntax entry for [> t1|…|tn].
Arnaud Spiwack
2015-01-14
*
Reference manual: document tryif/then/else.
Arnaud Spiwack
2015-01-14
*
Reference manual: document multimatch.
Arnaud Spiwack
2015-01-14
*
Reference manual: try and improve documentation for Ltac's match.
Arnaud Spiwack
2015-01-14
*
Reference manual: try and improve the documentation of lazymatch.
Arnaud Spiwack
2015-01-14
*
Reference manual: document gfail.
Arnaud Spiwack
2015-01-14
*
Refresh some copyright headers.
Maxime Dénès
2015-01-13
*
More documentation of the Local Definitions and Axioms.
Pierre-Marie Pédrot
2015-01-13
*
Whodidwhat-8.5: a global pass
Arnaud Spiwack
2015-01-12
*
whodidwhat-8.5: typo.
Arnaud Spiwack
2015-01-12
*
some credits for STM
Enrico Tassi
2015-01-11
*
Start credits for 8.5.
Matthieu Sozeau
2015-01-08
*
Small fix in whodidwhat 8.5.
Pierre Courtieu
2015-01-08
*
Fixed and extend bullet related info/error messages. + doc.
Pierre Courtieu
2015-01-08
*
Fix some documentation typos.
Guillaume Melquiond
2015-01-08
*
Add a few words in whodidwhat.
Maxime Dénès
2015-01-08
*
Document native_compute.
Maxime Dénès
2015-01-08
*
Initiating who-did-what for 8.5
Hugo Herbelin
2015-01-07
*
Committing whodidwhat files.
Hugo Herbelin
2015-01-07
*
rename: vi -> vio
Enrico Tassi
2015-01-06
*
Fix some documentation typos.
Guillaume Melquiond
2015-01-06
*
Added more informative messages about bullets.
Pierre Courtieu
2015-01-05
*
Updating documentation about bullets.
Pierre Courtieu
2015-01-05
*
Document the new behavior of lazymatch.
Guillaume Melquiond
2014-12-30
*
Document 6d5b56d971 (forbid Require inside modules).
Maxime Dénès
2014-12-25
*
Better doc and a few fixes for Proof using.
Enrico Tassi
2014-12-19
*
Proof using: New vernacular to name sets of section variables
Enrico Tassi
2014-12-18
*
Searchxxx now search also the hypothesis and support goal selector.
Pierre Courtieu
2014-12-12
*
Switch the few remaining iso-latin-1 files to utf8
Pierre Letouzey
2014-12-09
*
refman: switch all source files to utf8
Pierre Letouzey
2014-12-09
*
refman: fix broken urls
Pierre Letouzey
2014-12-09
*
refman: remove ?uri=referer in urls pointing to validator.w3.org
Pierre Letouzey
2014-12-09
*
refman/Omega.tex: do not advertize Pierre Cregut's email for bug reports
Pierre Letouzey
2014-12-09
*
refman/coqdoc.tex: fix two erroneous \url
Pierre Letouzey
2014-12-09
*
refman: for xhtml validity, add 'alt' attributes to img
Pierre Letouzey
2014-12-09
*
refman: avoid label names with whitespace (unsupported in html)
Pierre Letouzey
2014-12-09
*
refman: xhtml validity of the cover page
Pierre Letouzey
2014-12-09
*
doc/stdlib: fix the xhtml validity of the index-list template
Pierre Letouzey
2014-12-09
*
doc: improved xhtml compatibility (cover, header,...)
Pierre Letouzey
2014-12-09
[next]