index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
doc
/
common
/
macros.tex
Age
Commit message (
Expand
)
Author
2012-09-16
Beautify tactic documentation a bit more.
gmelquio
2012-09-16
Remove superfluous spaces and commas in tactic documentation.
gmelquio
2012-08-11
Improving rendering of ldots in doc (partially done, there are too
herbelin
2012-08-11
Added support for option Local (at module level) in Tactic Notation.
herbelin
2012-08-11
Improving rendering of ...-separated lists and sequences in reference
herbelin
2012-08-08
Documenting eta-conversion.
herbelin
2012-08-08
More standard layout for \lambda in chapter CIC.
herbelin
2012-04-13
Documentation of records defined with the keywords Inductive and
aspiwack
2010-06-08
Added documentation: "Theorem id x1..xn : T" and "Set Automatic Introduction".
herbelin
2010-04-29
Remove the svn-specific $Id$ annotations
letouzey
2009-01-18
Backporting from v8.2 to trunk:
herbelin
2009-01-01
- Fixed bug #2021 (uncaught exception with injection/discriminate when
herbelin
2008-12-29
- Added support for subterm matching in SearchAbout.
herbelin
2008-10-11
Backporting 11445 from 8.2 to trunk (negative conditions in
herbelin
2008-09-14
A pass on documentation:
msozeau
2008-08-04
Évolutions diverses et variées.
herbelin
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-23
Nouvelle doc pour les modules.
soubiran
2008-04-21
Correction 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 Strict
herbelin
2007-04-10
Some changes to eliminate Hevea warnings.
emakarov
2007-02-07
Relecture/nettoyage chapitre Gallina; déplacement section Function
herbelin
2006-07-11
Documentation de lazymatch et des extensions de idtac et fail
herbelin
2006-07-05
Ajout taclevel
herbelin
2006-07-04
Documentation or-pattern
herbelin
2006-02-23
Nettoyage de l'archive doc et restructuration avant intégration à l'archive
herbelin
