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
*
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
*
doc/stdlib: fix the html charset in header.html and co
Pierre Letouzey
2014-12-09
*
doc: version number in cover.html + updates in coq.inria.fr style
Pierre Letouzey
2014-12-09
*
Port to trunk commit r16062 of v8.4 (Correction des entêtes pour la document...
notin
2014-12-09
*
Port to trunk the old commit r14895 of v8.4 (styles for the stdlib documentat...
notin
2014-12-09
*
Documenting the Set Refine Instance Mode.
Pierre-Marie Pédrot
2014-11-30
*
FAQ: fix some broken urls
Pierre Letouzey
2014-11-27
*
typos
Enrico Tassi
2014-11-27
*
Documenting the -color option.
Pierre-Marie Pédrot
2014-11-17
*
Documenting use of colors in Coq.
Pierre-Marie Pédrot
2014-11-17
*
Enforcing a stronger difference between the two syntaxes "simpl
Hugo Herbelin
2014-11-16
*
Document (some) Proof using syntax + the new Optimize commands
Enrico Tassi
2014-11-12
*
Fixing doc of Functional Induction.
Hugo Herbelin
2014-11-07
*
doc: version number in cover.html + updates in coq.inria.fr style
Pierre Letouzey
2014-11-07
*
Documenting the change of semantics of the replace tactic.
Pierre-Marie Pédrot
2014-11-04
*
Document [Info] command.
Arnaud Spiwack
2014-11-01
*
Use the url package, since coqdoc generates \url commands.
Guillaume Melquiond
2014-10-27
*
Addressing report #3279 (inconsistency of behavior of the -> and <-
Hugo Herbelin
2014-10-24
*
Fix typo in documentation of the [repeat] tactical.
Arnaud Spiwack
2014-10-24
*
Move 'Arguments: clear implicits' to 2.7.4 (Close 2891)
Enrico Tassi
2014-10-22
*
More fallout from elisp rename
Anders Kaseorg
2014-10-16
*
Fixing #3606 continued (doc of Scheme Boolean Equality Scheme).
Hugo Herbelin
2014-10-03
*
Removing deactivated command Show Tree.
Hugo Herbelin
2014-10-03
*
typo
Enrico Tassi
2014-09-29
*
Documenting option -type-in-type.
Hugo Herbelin
2014-09-29
*
seems to fix a looping coq-tex (when compiled with camlp4)
Pierre Boutillier
2014-09-18
*
Fixing bug #3605.
Pierre-Marie Pédrot
2014-09-11
*
Removing remaining documentation of the XML plugin.
Pierre-Marie Pédrot
2014-09-11
*
Fixing inversion after having fixed intros_replacing
Hugo Herbelin
2014-09-10
*
Removing "eqn:" for "induction" in reference manual.
Hugo Herbelin
2014-09-10
*
Documenting the new Undo semantics
Enrico Tassi
2014-09-09
*
Removing the documentation of the XML plugin.
Pierre-Marie Pédrot
2014-09-08
*
Doc: [revgoals].
Arnaud Spiwack
2014-09-08
*
Little fix in documentation of inversion.
Hugo Herbelin
2014-09-07
*
Documenting the [Variant] type definition and the [Nonrecursive Elimination S...
Arnaud Spiwack
2014-09-04
*
sed -i.toto -e 's/Objective Caml/\{\ocaml\}/g' doc/refman/RefMan-*.tex
Pierre Boutillier
2014-09-03
*
Improve RefMan section about Coq_makefile
Pierre Boutillier
2014-09-03
*
Update RefMan with respect to new loadpath management
Pierre Boutillier
2014-09-03
*
Cbn in refman
Pierre Boutillier
2014-09-03
[next]