index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
doc
Age
Commit message (
Expand
)
Author
2003-11-20
MAJ
herbelin
2003-11-19
MAJ V8
herbelin
2003-11-15
Ajout paradoxe Chicli
herbelin
2003-11-12
En fait les Import des Require sont de nouveau utiles
letouzey
2003-11-12
*** empty log message ***
letouzey
2003-11-12
maj et passage v8 du chapitre sur l'extraction
letouzey
2003-11-08
Petite tentative d'eclaircissement
herbelin
2003-11-08
Relecture, compl�tion Notation, plan pour les scopes
herbelin
2003-11-08
Ajout section sur TACTIC EXTEND
herbelin
2003-10-30
Added a tactic entry for Jprover + commented out inputenc in the main file
corbinea
2003-10-27
MAJ Double Inductive vis a vis de la V7.4
herbelin
2003-10-10
Programme de relecture du manuel
mohring
2003-09-26
*** empty log message ***
filliatr
2003-09-26
passage V8
filliatr
2003-09-26
passage V8
filliatr
2003-09-25
passage V8
filliatr
2003-09-25
passage V8
filliatr
2003-09-25
passage V8
filliatr
2003-08-04
Orthographe, orthodoxie
herbelin
2003-08-04
Bug 'Set Hyps Limit'
herbelin
2003-06-25
typo
filliatr
2003-06-21
Added the documentation on Functional Scheme (a command, I also put
courtieu
2003-05-20
Ajout 'in (Type of ...)'
herbelin
2003-04-07
Divers
herbelin
2003-04-04
MAJ
herbelin
2003-03-21
MAJ Simpl et Change
herbelin
2003-03-13
Ajoute SubClass
herbelin
2003-03-13
Bug de pr�c�dence
herbelin
2003-03-13
Pr�sentation
herbelin
2003-03-06
MAJ
herbelin
2003-03-06
MAJ
herbelin
2003-02-27
Ajout de la reference sur la doc Reals.ps
desmettr
2003-02-13
Backtrack faq
herbelin
2003-02-13
MAJ Remark/Fact
herbelin
2003-02-06
Bug
herbelin
2003-02-06
MAJ
herbelin
2003-02-04
Correction bug {
desmettr
2003-02-04
Release 7.4
desmettr
2003-02-03
version 7.4
filliatr
2003-01-31
MAJ doc modules
coq
2003-01-31
Ajout Streicher (axiom K)
herbelin
2003-01-31
MAJ
herbelin
2003-01-30
Ajout {A New Paradox in Type Theory}
herbelin
2003-01-29
MAJ pour Reals
desmettr
2003-01-23
maj du fichier treesort.ml inclus dans le chapitre extraction
letouzey
2003-01-23
maj extraction V7.4
letouzey
2003-01-22
Changement s�mantique Match term
herbelin
2003-01-20
Utilisation de 'Recursive' pour les tactiques r�cursives
herbelin
2003-01-19
MAJ V7.4
herbelin
2003-01-19
Nettoyage
herbelin
[prev]
[next]