aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/refman/RefMan-tacex.tex
Commit message (Expand)AuthorAge
* dependent destruction: Fix (part of) bug #3961, by fixing dependent *Gravatar Matthieu Sozeau2015-02-14
* Fix some broken Coq scripts in the reference manual.Gravatar Guillaume Melquiond2015-01-29
* "allows to", like "allowing to", is improperGravatar Jason Gross2014-08-25
* Typo reference manualGravatar Hugo Herbelin2014-05-08
* Port rewrites of tactic documentation from branch 8.4.Gravatar gmelquio2012-09-15
* ZArith + other : favor the use of modern names instead of compat notationsGravatar letouzey2012-07-05
* Fixed some typos in the reference manual.Gravatar gmelquio2009-10-29
* Repaired bug #2165 (buggy coq example in Tactic Examples doc chapter)Gravatar herbelin2009-10-20
* Document new quote constructionGravatar glondu2009-03-30
* Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...Gravatar letouzey2009-03-20
* Fixes in the documentation of [dependent induction] and test-suiteGravatar msozeau2009-01-22
* A pass on documentation: Gravatar msozeau2008-09-14
* Typo in documentation (isn't it?)Gravatar glondu2008-06-25
* Debug implementation of dependent induction/dependent destruction and documen...Gravatar msozeau2008-01-31
* Standardisation du format des références croisées vers Figure, Section, Ch...Gravatar herbelin2008-01-05
* Changed many refman/*.tex files. Put \label and \index commands that immediat...Gravatar emakarov2007-04-17
* Doc for Combined Scheme.Gravatar msozeau2006-12-23
* Updating the doc about Function and coGravatar courtieu2006-09-07
* Changements sur Functional xxx. Plus précis et plus exact.Gravatar courtieu2006-06-07
* Ajout de précisions dans la doc de functional scheme et consort +Gravatar courtieu2006-06-06
* Nettoyage de l'archive doc et restructuration avant intégration à l'archiveGravatar herbelin2006-02-23