aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/common
Commit message (Expand)AuthorAge
* Beautify tactic documentation a bit more.Gravatar gmelquio2012-09-16
* Remove superfluous spaces and commas in tactic documentation.Gravatar gmelquio2012-09-16
* Improving rendering of ldots in doc (partially done, there are tooGravatar herbelin2012-08-11
* Added support for option Local (at module level) in Tactic Notation.Gravatar herbelin2012-08-11
* Improving rendering of ...-separated lists and sequences in referenceGravatar herbelin2012-08-11
* Documenting eta-conversion.Gravatar herbelin2012-08-08
* More standard layout for \lambda in chapter CIC.Gravatar herbelin2012-08-08
* Documentation of records defined with the keywords Inductive andGravatar aspiwack2012-04-13
* Version number, copyright, credits: missing updates.Gravatar herbelin2011-12-25
* Html page titlesGravatar pboutill2011-12-07
* Ajout d'une feuille de style pour les définitions spécifiques à Hevea + di...Gravatar notin2010-06-23
* Mise à jour des liens au site Coq (suite à la MAJ de la redirection DNS de ...Gravatar notin2010-06-23
* Added documentation: "Theorem id x1..xn : T" and "Set Automatic Introduction".Gravatar herbelin2010-06-08
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Modification du style du manuel de référenceGravatar notin2009-02-11
* Backporting from v8.2 to trunk:Gravatar herbelin2009-01-18
* Updated datesGravatar herbelin2009-01-13
* - Fixed bug #2021 (uncaught exception with injection/discriminate whenGravatar herbelin2009-01-01
* - Added support for subterm matching in SearchAbout.Gravatar herbelin2008-12-29
* Backporting 11445 from 8.2 to trunk (negative conditions inGravatar herbelin2008-10-11
* A pass on documentation: Gravatar msozeau2008-09-14
* Évolutions diverses et variées.Gravatar herbelin2008-08-04
* Numéros de version dans la docGravatar notin2008-06-13
* - Officialisation de la notation "pattern c at -1" (cf wish 1798 sur coq-bugs)Gravatar herbelin2008-06-10
* - Extension de "generalize" en "generalize c as id at occs".Gravatar herbelin2008-06-08
* Nouvelle doc pour les modules.Gravatar soubiran2008-05-23
* Correction bug 1838 + doc modules.Gravatar soubiran2008-04-21
* - Un peu de doc, préparation du CHANGES pour la release.Gravatar herbelin2008-04-15
* - Documentation des nouvelles options d'implicites (Set Strongly StrictGravatar herbelin2008-02-06
* MAJ date copyright docGravatar herbelin2007-09-18
* Cleaned doc/common/title.tex file. Increased the space under headersGravatar emakarov2007-04-12
* Some changes to eliminate Hevea warnings.Gravatar emakarov2007-04-10
* Relecture/nettoyage chapitre Gallina; déplacement section FunctionGravatar herbelin2007-02-07
* Documentation de lazymatch et des extensions de idtac et failGravatar herbelin2006-07-11
* Ajout taclevelGravatar herbelin2006-07-05
* Documentation or-patternGravatar herbelin2006-07-04
* Mise à jour des Makefile, ajout licences, corrections mineures suite àGravatar herbelin2006-02-23
* Nettoyage de l'archive doc et restructuration avant intégration à l'archiveGravatar herbelin2006-02-23