index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Age
Commit message (
Expand
)
Author
2004-05-04
Typo
herbelin
2004-05-03
maj
filliatr
2004-05-03
but autoamtics tactics saving
marche
2004-05-03
Points-fixes avec let-in
herbelin
2004-05-02
maj
filliatr
2004-05-02
Ajout test bug 711
herbelin
2004-04-30
maj
filliatr
2004-04-30
Achèvement du passage des emprunts à cameleon de Maxence Guesdon de la vers...
herbelin
2004-04-30
Terminologie plus intuitive: evaluable -> unfoldable
herbelin
2004-04-30
Dépendance en $(RPMTOPDIR)
herbelin
2004-04-30
Position du %defattr importante
herbelin
2004-04-29
maj
filliatr
2004-04-29
Test bug 705
herbelin
2004-04-29
Prise en compte d'un type dont la sorte est une evar
herbelin
2004-04-28
maj
filliatr
2004-04-28
Ajout test If nouvelle syntaxe
herbelin
2004-04-27
maj
filliatr
2004-04-27
Correction incapacité à gérer les annotations de type dépendantes pour le...
herbelin
2004-04-26
maj
filliatr
2004-04-25
maj
filliatr
2004-04-23
maj
filliatr
2004-04-22
maj
filliatr
2004-04-21
maj
filliatr
2004-04-21
*** empty log message ***
barras
2004-04-21
pb install de pcoq
barras
2004-04-20
maj
filliatr
2004-04-20
maj
filliatr
2004-04-20
amelioration des specs RPM
barras
2004-04-20
Amélioration message d'erreur quand échec unification
clrenard
2004-04-20
maj annonce depuis la v8beta vers v8
narboux
2004-04-19
maj
filliatr
2004-04-18
maj
filliatr
2004-04-17
Incorrection exportation XML
herbelin
2004-04-17
Finalement pas de liste des contributions (cela n'avait été fait que pour l...
herbelin
2004-04-17
pb facto des Fixpoint + erreur avec -dump-glob et Load
barras
2004-04-16
maj
filliatr
2004-04-16
Backtrack user contribs
herbelin
2004-04-16
Nouvelles majs
herbelin
2004-04-16
Typo
herbelin
2004-04-16
MAJ setup
herbelin
2004-04-15
maj
filliatr
2004-04-15
Bug réaffichage EXT
herbelin
2004-04-15
MAJ
herbelin
2004-04-14
maj
filliatr
2004-04-14
MAJ
herbelin
2004-04-14
MAJ numéro magique
herbelin
2004-04-14
Ajout exemple Bruno
herbelin
2004-04-13
maj
filliatr
2004-04-13
Ajout coding
herbelin
2004-04-13
Passage a la version 1.3 sous GPL des outils okey et configwin de cameleon en...
herbelin
[next]