index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
doc
Commit message (
Expand
)
Author
Age
*
Meilleur anglais (cf 9619)
herbelin
2007-02-07
*
Relecture/nettoyage chapitre Gallina; déplacement section Function
herbelin
2007-02-07
*
Suppression RefMan-cas.tex inutilisé
herbelin
2007-02-07
*
Field rewrites only with polynomial
thery
2007-02-07
*
doc de ring/field + option infinite -> completeness
barras
2007-02-07
*
doc for field
thery
2007-02-06
*
complement du commit 9591
bgregoir
2007-02-05
*
Report 9545 de 8.1 vers trunk
herbelin
2007-02-01
*
Petite relecture partie ring
herbelin
2007-02-01
*
report de r9574: doc de field
barras
2007-01-31
*
Fix typo.
msozeau
2007-01-31
*
Fix order of wf and measure arguments, patch Program doc.
msozeau
2007-01-31
*
Explication du intros until n
notin
2007-01-26
*
doc de ring
bgregoir
2007-01-24
*
Correction adresse CoRN dans FAQ (suite)
herbelin
2007-01-17
*
Correction adresse CoRN dans FAQ (cf #1317)
herbelin
2007-01-17
*
Doc for Combined Scheme.
msozeau
2006-12-23
*
Correction typo règle réduction du fix chapitre CCI
herbelin
2006-12-08
*
add a comment about Show Existentials and a question about case_eq
jnarboux
2006-12-01
*
Typo + ajout Qcanon.v
herbelin
2006-11-11
*
Add doc on obligation solving commands.
msozeau
2006-11-02
*
MAJ nouvelles théories
herbelin
2006-10-28
*
Documentation de "Set Printing Universes", "Print Universes" (anciennement
herbelin
2006-10-28
*
added doc for declarative language
corbinea
2006-10-26
*
MAJ crédits, fresh; documentation apply in
herbelin
2006-10-26
*
Mise en forme des theories
notin
2006-10-17
*
typo doc + bug legacy field
barras
2006-10-16
*
revision de la semantique de rewrite ... in <clause>. details dans la doc
letouzey
2006-10-05
*
Ajout String
herbelin
2006-10-04
*
Correction bug #1236
notin
2006-10-04
*
Doc injection as
herbelin
2006-10-04
*
separation de RealField
barras
2006-09-28
*
doc du nouveau ring
barras
2006-09-22
*
congruence doc update
corbinea
2006-09-20
*
Ajout eassumption index
herbelin
2006-09-11
*
Updating the doc about Function and co
courtieu
2006-09-07
*
Modification du manuel de référence: le flag evar pour cbv n'existe plus.
notin
2006-09-01
*
MAJ
herbelin
2006-08-28
*
Ajout thèse Cornes
herbelin
2006-08-28
*
MAJ biblio
herbelin
2006-08-24
*
MAJ JMeq sur Type + typos (sur propositions de Pierre Castéran)
herbelin
2006-08-24
*
MAJ biblio
herbelin
2006-08-24
*
+ Changing "in <hyp>" to "in <clause>" (no at, no InValue and no
jforest
2006-08-22
*
MAJ Rectutorial (P. Castéran)
notin
2006-08-16
*
MAJ de la biblio du manuel de référence
notin
2006-07-28
*
MAJ
jforest
2006-07-17
*
Documentation machine virtuelle
herbelin
2006-07-12
*
MAJ doc/refman
notin
2006-07-11
*
Documentation de lazymatch et des extensions de idtac et fail
herbelin
2006-07-11
*
Documentation Declare Implicit Tactic, Print Canonical Projections, ... + lé...
herbelin
2006-07-07
[next]