aboutsummaryrefslogtreecommitdiff
path: root/doc/common
AgeCommit message (Expand)Author
2015-01-05Added more informative messages about bullets.Pierre Courtieu
2014-12-09refman: switch all source files to utf8Pierre Letouzey
2014-12-09refman: remove ?uri=referer in urls pointing to validator.w3.orgPierre Letouzey
2014-12-09refman: xhtml validity of the cover pagePierre Letouzey
2014-12-09doc: improved xhtml compatibility (cover, header,...)Pierre Letouzey
2014-12-09doc/stdlib: fix the html charset in header.html and coPierre Letouzey
2014-12-09doc: version number in cover.html + updates in coq.inria.fr stylePierre Letouzey
2014-12-09Port to trunk commit r16062 of v8.4 (Correction des entêtes pour la document...notin
2014-12-09Port to trunk the old commit r14895 of v8.4 (styles for the stdlib documentat...notin
2014-11-07doc: version number in cover.html + updates in coq.inria.fr stylePierre Letouzey
2014-08-05Making references to Proof General and CoqIDE uniform in Reference Manual.Hugo Herbelin
2012-09-16Beautify tactic documentation a bit more.gmelquio
2012-09-16Remove superfluous spaces and commas in tactic documentation.gmelquio
2012-08-11Improving rendering of ldots in doc (partially done, there are tooherbelin
2012-08-11Added support for option Local (at module level) in Tactic Notation.herbelin
2012-08-11Improving rendering of ...-separated lists and sequences in referenceherbelin
2012-08-08Documenting eta-conversion.herbelin
2012-08-08More standard layout for \lambda in chapter CIC.herbelin
2012-04-13Documentation of records defined with the keywords Inductive andaspiwack
2011-12-25Version number, copyright, credits: missing updates.herbelin
2011-12-07Html page titlespboutill
2010-06-23Ajout d'une feuille de style pour les définitions spécifiques à Hevea + di...notin
2010-06-23Mise à jour des liens au site Coq (suite à la MAJ de la redirection DNS de ...notin
2010-06-08Added documentation: "Theorem id x1..xn : T" and "Set Automatic Introduction".herbelin
2010-04-29Remove the svn-specific $Id$ annotationsletouzey
2009-02-11Modification du style du manuel de référencenotin
2009-01-18Backporting from v8.2 to trunk:herbelin
2009-01-13Updated datesherbelin
2009-01-01- Fixed bug #2021 (uncaught exception with injection/discriminate whenherbelin
2008-12-29- Added support for subterm matching in SearchAbout.herbelin
2008-10-11Backporting 11445 from 8.2 to trunk (negative conditions inherbelin
2008-09-14A pass on documentation: msozeau
2008-08-04Évolutions diverses et variées.herbelin
2008-06-13Numéros de version dans la docnotin
2008-06-10- Officialisation de la notation "pattern c at -1" (cf wish 1798 sur coq-bugs)herbelin
2008-06-08- Extension de "generalize" en "generalize c as id at occs".herbelin
2008-05-23Nouvelle doc pour les modules.soubiran
2008-04-21Correction bug 1838 + doc modules.soubiran
2008-04-15- Un peu de doc, préparation du CHANGES pour la release.herbelin
2008-02-06- Documentation des nouvelles options d'implicites (Set Strongly Strictherbelin
2007-09-18MAJ date copyright docherbelin
2007-04-12Cleaned doc/common/title.tex file. Increased the space under headersemakarov
2007-04-10Some changes to eliminate Hevea warnings.emakarov
2007-02-07Relecture/nettoyage chapitre Gallina; déplacement section Functionherbelin
2006-07-11Documentation de lazymatch et des extensions de idtac et failherbelin
2006-07-05Ajout taclevelherbelin
2006-07-04Documentation or-patternherbelin
2006-02-23Mise à jour des Makefile, ajout licences, corrections mineures suite àherbelin
2006-02-23Nettoyage de l'archive doc et restructuration avant intégration à l'archiveherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 04:25:15 +0000