index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
doc
/
refman
Commit message (
Expand
)
Author
Age
*
Start credits for 8.5.
Matthieu Sozeau
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
*
Document native_compute.
Maxime Dénès
2015-01-08
*
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
*
refman: switch all source files to utf8
Pierre Letouzey
2014-12-09
*
refman: fix broken urls
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
*
Documenting the Set Refine Instance Mode.
Pierre-Marie Pédrot
2014-11-30
*
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
*
Documenting the change of semantics of the replace tactic.
Pierre-Marie Pédrot
2014-11-04
*
Document [Info] command.
Arnaud Spiwack
2014-11-01
*
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]