index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
doc
/
refman
/
RefMan-oth.tex
Commit message (
Expand
)
Author
Age
*
Merge branch 'v8.5' into v8.6
Pierre-Marie Pédrot
2016-08-16
|
\
|
*
Fix documentation typo (bug #4994).
Guillaume Melquiond
2016-08-04
*
|
Add [Unset Printing Dependent Evars Line]
Jason Gross
2016-06-19
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-12-11
|
\
|
|
*
Remove Set Virtual Machine from doc, since the command itself has been removed.
Maxime Dénès
2015-12-11
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-10-06
|
\
|
|
*
Fix typo. (Fix bug #4355)
Guillaume Melquiond
2015-10-04
*
|
search: Add an output-name-only search option
Clément Pit--Claudel
2015-07-27
|
/
*
Fix documentation of Redirect
Enrico Tassi
2015-05-04
*
Add a [Redirect] vernacular command
Clément Pit--Claudel
2015-05-04
*
Fixing a few typos + some uniformization of writing in doc.
Hugo Herbelin
2015-04-17
*
Documenting the recommandation of toplevel-only commands.
Pierre-Marie Pédrot
2015-04-15
*
Fixing a few typos + some uniformization of writing in doc.
Hugo Herbelin
2015-04-01
*
Documenting "From * Require *" and clearing a bit the loadpath chapter.
Pierre-Marie Pédrot
2015-04-01
*
admit: replaced by give_up + Admitted (no proof_admitted : False, close #4032)
Enrico Tassi
2015-03-11
*
Remove Whelp commands.
Maxime Dénès
2015-02-17
*
Separate index for vernacular options.
Maxime Dénès
2015-02-17
*
Fix sentence that was cut in doc of Local Set.
Maxime Dénès
2015-02-17
*
Fix some documentation typos.
Guillaume Melquiond
2015-02-05
*
Remove spurious "Loading ML file" and "<W> Grammar extension" from the refere...
Guillaume Melquiond
2015-01-29
*
Document 6d5b56d971 (forbid Require inside modules).
Maxime Dénès
2014-12-25
*
Searchxxx now search also the hypothesis and support goal selector.
Pierre Courtieu
2014-12-12
*
refman: avoid label names with whitespace (unsupported in html)
Pierre Letouzey
2014-12-09
*
sed -i.toto -e 's/Objective Caml/\{\ocaml\}/g' doc/refman/RefMan-*.tex
Pierre Boutillier
2014-09-03
*
Update RefMan with respect to new loadpath management
Pierre Boutillier
2014-09-03
*
"allows to", like "allowing to", is improper
Jason Gross
2014-08-25
*
Removing documentation related to the deprecated State machinery.
Pierre-Marie Pédrot
2014-08-16
*
Documenting the changes of Locate semantics.
Pierre-Marie Pédrot
2014-07-21
*
Fixing grammar in doc of Opaque as proposed by Jason (#3389).
Hugo Herbelin
2014-06-21
*
Documenting the Print Strategy command.
Pierre-Marie Pédrot
2014-03-20
*
Removing the [Require "file"] syntax.
Pierre-Marie Pédrot
2014-02-02
*
Fixing typo in reference manual from previous commit
Hugo Herbelin
2014-01-13
*
Documenting old but useful command "Print Tables".
Hugo Herbelin
2014-01-13
*
Renaming SearchAbout into Search and Search into SearchHead.
herbelin
2013-04-17
*
Documenting the 'Printing Transparent/All Dependencies' command.
ppedrot
2012-10-30
*
Improving rendering of ldots in doc (partially done, there are too
herbelin
2012-08-11
*
Document the command Add/Remove Search Blacklist
letouzey
2012-08-03
*
ZArith + other : favor the use of modern names instead of compat notations
letouzey
2012-07-05
*
Documentation of last commit concerning Backtracking
letouzey
2012-03-23
*
Remove old proof-managment commands Suspend/Resume
letouzey
2012-03-23
*
Bug 2583: Update of the syntax of terms in the reference manual
pboutill
2011-09-01
*
remove old traces of SearchIsos (never ported to 7.x nor 8.x)
letouzey
2011-04-12
*
An option "Set Default Timeout n."
letouzey
2011-03-17
*
SearchAbout: who has never been annoyed by the [ ] syntax ?
letouzey
2010-11-19
*
Remove Explain* vernacs
glondu
2010-10-06
*
Remove VernacGo
glondu
2010-10-06
*
Added a section in the documentation of Vernacular commands about Set/Unset/T...
aspiwack
2010-09-23
*
Added documentation: "Theorem id x1..xn : T" and "Set Automatic Introduction".
herbelin
2010-06-08
*
A new command Compute foo, shortcut for Eval vm_compute in foo
letouzey
2010-06-04
*
Remove the svn-specific $Id$ annotations
letouzey
2010-04-29
[next]