index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
.depend.newcoq
Commit message (
Expand
)
Author
Age
*
MAJ
herbelin
2003-11-14
*
MAJ
herbelin
2003-11-13
*
make moins verbeux, suite (et fin?)
letouzey
2003-11-09
*
MAJ
herbelin
2003-11-05
*
MAJ
herbelin
2003-11-02
*
*** empty log message ***
herbelin
2003-10-29
*
Nouveaux fichiers dans Logic
herbelin
2003-10-28
*
MAJ
herbelin
2003-10-22
*
MAJ
herbelin
2003-10-21
*
mise a jour nouvelle syntaxe
barras
2003-10-11
*
Renommage en v8 de PolyList en List et List en MonoList
herbelin
2003-10-10
*
Correction du bug 335 et Export/Require Export dans un module
coq
2003-10-07
*
Fusion des fichiers de syntaxe de Init avec les fichiers de définition; Type...
herbelin
2003-09-23
*
Suppression DatatypesSyntax et PeanoSyntax qui était vides
herbelin
2003-09-12
*
coqide: warn when using locale or manual charset
monate
2003-07-10
*
coqide : status bar more informative, forbid Section/Module in proo mode
monate
2003-06-25
*
Ground major update ... mmm, sounds exciting !
corbinea
2003-06-15
*
Major Ground update, may break semantics
corbinea
2003-06-14
*
FSets, mais pas compile' par make world
filliatr
2003-06-13
*
quelques adaptations de Zarith en vu de la nouvelle librarie FSet
letouzey
2003-06-13
*
MAJ
herbelin
2003-06-12
*
Concentration des notations officielles dans Init/Notations; restructuration ...
herbelin
2003-05-21
*
coqide: load/save file encoding support/
monate
2003-05-14
*
Nouveaux lemmes (sur proposition de Nijmegen)
herbelin
2003-05-13
*
Corrige Bug (PR#290)
coq
2003-05-05
*
coqide : progressbar
monate
2003-04-22
*
coqide: thread bug fix
monate
2003-04-10
*
* Ajout du traducteur nouvelle syntaxe *
barras
2003-03-12