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
*
Mise à jour des Makefile, ajout licences, corrections mineures suite à
herbelin
2006-02-23
*
Nettoyage de l'archive doc et restructuration avant intégration à l'archive
herbelin
2006-02-23
*
Ajout licence open publication � la doc (sous r�serve OK pour tutorial)
herbelin
2006-01-27
*
Pourquoi math goal parfois interdit
herbelin
2005-10-14
*
plus de http://www.lri.fr/~letouzey/extraction
letouzey
2005-07-06
*
Updated new names of Local into Let
herbelin
2005-05-20
*
suite commit pr�c�dent
herbelin
2005-05-05
*
Copyright 2005
herbelin
2005-05-05
*
Correction du bug de contraintes d'univers dans exType (mentionn� par Georg...
herbelin
2005-05-05
*
Ajout r�f�rence Luo
herbelin
2005-03-07
*
Ajout r�f�rences Alexandre Miquel
herbelin
2005-03-07
*
Suppression cible all-ps-docs; ajout www/index.html
herbelin
2005-01-25
*
Correction sur signification induction double
herbelin
2004-12-05
*
Documentation v8 de 'set (id:=t) in ...'
herbelin
2004-12-05
*
Ajout section sur lieurs
herbelin
2004-11-17
*
Am�lioration doc bases de Hints
herbelin
2004-11-10
*
Typos et orthographe
herbelin
2004-11-10
*
Documentation 'Focus num'
herbelin
2004-10-15
*
Ajout pr�vention �chec en pr�sence de sous-typage
herbelin
2004-10-11
*
question pierre corrige
narboux
2004-10-08
*
ajout question Pierre
narboux
2004-10-07
*
minor ~ correction in coq'art url
kirchner
2004-10-04
*
Oublis
herbelin
2004-09-03
*
MAJ
herbelin
2004-09-03
*
Probl�mes hevea + question evars
herbelin
2004-08-03
*
Finalisation avant publication
herbelin
2004-08-03
*
bibtex et hevea
herbelin
2004-08-03
*
Pr�noms
herbelin
2004-08-03
*
Il faut 2 fois latex apr�s l'index (cf bug #793)
herbelin
2004-06-27
*
Ajout RefMan 7.2
herbelin
2004-06-02
*
ajout question implicit
narboux
2004-05-19
*
typo jc
narboux
2004-05-12
*
MAJ bibtex Coq'Art
kirchner
2004-05-12
*
Petits affinements
herbelin
2004-05-07
*
Ajout �tudes de cas
herbelin
2004-05-06
*
Ajout exemple extraction d'infos de l'�galit� de 2 ensembles
herbelin
2004-05-06
*
MAJ diverses
herbelin
2004-05-05
*
deux questions
narboux
2004-05-03
*
un ptit coup de ispell
kirchner
2004-05-03
*
MAJ, divers + section axiomes
herbelin
2004-04-30
*
une question de plus
narboux
2004-04-30
*
Suppression d'une redondance
herbelin
2004-04-30
*
Forme export�e pour hevea de axioms.fig
herbelin
2004-04-30
*
Forme export�e pour latex de axioms.fig
herbelin
2004-04-30
*
Ajout source figure classification des axiomes
herbelin
2004-04-30
*
heveaifie
narboux
2004-04-30
*
proof irre
narboux
2004-04-30
*
coloration ok
narboux
2004-04-30
*
les accents sont ok
narboux
2004-04-30
*
maj de la faq + exemples
narboux
2004-04-30
[next]