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-pre.tex
Commit message (
Expand
)
Author
Age
*
Updating credits for final 8.4
herbelin
2012-08-07
*
Fixed #2789.
ppedrot
2012-05-25
*
Credits for 8.4: More exhaustive list of external contributors.
herbelin
2011-12-23
*
Credits for 8.4 + resetting COMPATIBILITY file.
herbelin
2011-12-22
*
Updating reference manual credits: gb is now nsatz.
herbelin
2010-07-08
*
Update of credits files
herbelin
2010-05-09
*
Remove the svn-specific $Id$ annotations
letouzey
2010-04-29
*
- Fixed many "Theorem with" bugs.
herbelin
2008-10-27
*
- Documentation de admit et Print Assumptions.
herbelin
2008-06-09
*
Notation concise pour la valeur par défaut des cas reconnus comme
herbelin
2008-05-28
*
MAJ crédits
herbelin
2008-05-19
*
Cleaned doc/common/title.tex file. Increased the space under headers
emakarov
2007-04-12
*
Eliminated warning messages from Hevea. Most warning messages were
emakarov
2007-04-10
*
MAJ crédits, fresh; documentation apply in
herbelin
2006-10-26
*
MAJ
herbelin
2006-08-28
*
Documentation Declare Implicit Tactic, Print Canonical Projections, ... + lé...
herbelin
2006-07-07
*
updated documentation for my tactics (P. orbineau
corbinea
2006-06-22
*
Nouvelle MAJ
herbelin
2006-06-09
*
MAJ 8.1-APP
herbelin
2006-04-13
*
MAJ 8.1-APP
herbelin
2006-04-13
*
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