index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
doc
/
refman
/
RefMan-syn.tex
Commit message (
Expand
)
Author
Age
*
New cleaning phase of the Local/Global option management
herbelin
2009-10-26
*
Improved the treatment of Local/Global options (noneffective Local on
herbelin
2009-10-25
*
- Structuring Numbers and fixing Setoid in stdlib's doc.
herbelin
2009-01-19
*
- Standardized prefix use of "Local"/"Global" modifiers as decided in
herbelin
2009-01-13
*
Backporting 11445 from 8.2 to trunk (negative conditions in
herbelin
2008-10-11
*
Documentation Prop<=Set et Arguments Scope Global
herbelin
2008-07-01
*
- Extension de "generalize" en "generalize c as id at occs".
herbelin
2008-06-08
*
MAJ et bricoles diverses
herbelin
2008-05-12
*
Minor updates in the documentation of notations.
glondu
2008-05-05
*
Ajout d'abbréviations/notations paramétriques
herbelin
2008-03-30
*
Standardisation du format des références croisées vers Figure, Section, Ch...
herbelin
2008-01-05
*
Changed many refman/*.tex files. Put \label and \index commands that immediat...
emakarov
2007-04-17
*
Mise à jour scopes prédéfinis et Tactic Notation pour tacticals
herbelin
2006-07-05
*
Doc Print Grammar pattern
herbelin
2006-07-04
*
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