| Commit message (Expand) | Author | Age |
* | "allows to", like "allowing to", is improper | Jason Gross | 2014-08-25 |
* | Uncountably many bullets (+,-,*,++,--,**,+++,...). | Hugo Herbelin | 2014-08-05 |
* | Making references to Proof General and CoqIDE uniform in Reference Manual. | Hugo Herbelin | 2014-08-05 |
* | Added missing documentation of Set Printing Existential Instances. | herbelin | 2013-02-21 |
* | Improving rendering of ldots in doc (partially done, there are too | herbelin | 2012-08-11 |
* | Typo in r15654 | herbelin | 2012-08-07 |
* | documentation of bullets (forward port from v8.4). | courtieu | 2012-07-25 |
* | Addedum to documentation of bullets: I now use the dedicated coq_example | aspiwack | 2012-05-10 |
* | Documentation for Unfocused, braces and bullets. | aspiwack | 2012-05-10 |
* | Remove old proof-managment commands Suspend/Resume | letouzey | 2012-03-23 |
* | Documentation for Grab Existential Variables. | aspiwack | 2012-02-07 |
* | Proof using ... | gareuselesinge | 2011-12-12 |
* | Remove code concerning the obsolete Set/Unset Undo | letouzey | 2011-09-05 |
* | Added documentation: "Theorem id x1..xn : T" and "Set Automatic Introduction". | herbelin | 2010-06-08 |
* | Remove the svn-specific $Id$ annotations | letouzey | 2010-04-29 |
* | Added full documentation for mathematical mode (draft version) | corbinea | 2008-01-29 |
* | Standardisation du format des références croisées vers Figure, Section, Ch... | herbelin | 2008-01-05 |
* | Erreur de copier/coller dans la section Guarded | notin | 2007-08-20 |
* | Modification de control_only_guard, qui utilise maintenant | notin | 2007-08-09 |
* | Documentation de Existential et de Show Existential (fixes bug #1294) | notin | 2007-04-26 |
* | Changed many refman/*.tex files. Put \label and \index commands that immediat... | emakarov | 2007-04-17 |
* | added doc for declarative language | corbinea | 2006-10-26 |
* | Documentation Declare Implicit Tactic, Print Canonical Projections, ... + lé... | herbelin | 2006-07-07 |
* | Modification des propriétés des fichiers .tex (svn:executable) | notin,no-port-forwarding,no-agent-forwarding,no-X11-forwarding,no-pty | 2006-02-24 |
* | Nettoyage de l'archive doc et restructuration avant intégration à l'archive | herbelin | 2006-02-23 |