index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
theories
Commit message (
Expand
)
Author
Age
*
Plus de piquants dans les actions des grammaires; nom de la grammaire pris co...
herbelin
2000-07-28
*
portage Refine
filliatr
2000-07-20
*
correction
mayero
2000-07-04
*
ajouts
mayero
2000-07-03
*
Traduction de syntaxe vers ltac
delahaye
2000-07-03
*
Séparation des caractères spéciaux par un blanc
herbelin
2000-07-01
*
Retrait des parenthèses inutiles autour des tactiques
herbelin
2000-07-01
*
Require Plus ajoute
filliatr
2000-06-21
*
theories/Reals
filliatr
2000-06-21
*
theories/Relations
filliatr
2000-06-21
*
theories/Sets
filliatr
2000-06-21
*
theories/Lists
filliatr
2000-06-21
*
Séparation des tokens -> et ~
herbelin
2000-05-22
*
Changement nommage des hypothèses; parenthèses pour les tactiques
herbelin
2000-05-22
*
Parenthèses
herbelin
2000-05-22
*
parethèses de tactiques
herbelin
2000-05-18
*
Ajout du langage de tactiques
delahaye
2000-05-03
*
portage Omega (mais toujours pas Zpower et Zlogarithm)
filliatr
2000-05-02
*
Bug affichage Error et Value
herbelin
2000-04-30
*
suppression doublon
filliatr
2000-04-26
*
erreurs lexicales dans les patterns (manquait des espaces)
filliatr
2000-03-30
*
- bug make_module_marker (plus de # et de .obj maintenant)
filliatr
2000-03-21
*
Retour sur les anciens noms
herbelin
2000-03-21
*
Eqdep_dec retrouve ses noms d'origine grace au nouvel Reduction.instance util...
herbelin
2000-03-21
*
Zarith
filliatr
2000-03-18
*
g_natsyntax.ml
filliatr
2000-03-18
*
Syntactic Definition n'etaient pas correctemenet importees
filliatr
2000-03-16
*
mise sous CVS
filliatr
2000-03-16
*
t -> $t dans regle grammaire EX
filliatr
2000-03-10
*
mise sous CVS du repertoire theories/Arith
filliatr
2000-03-10
*
*** empty log message ***
barras
2000-03-10
*
gros commit de tout ce que j'ai fait pendant les vacances :
filliatr
2000-01-21
*
Renommage command en constr
herbelin
2000-01-07
*
erreurs de syntax :$
filliatr
1999-12-16
*
- méthode load sur les Hints
filliatr
1999-12-13
*
fichiers prelude Coq
filliatr
1999-12-13