index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
*
pb facto des Fixpoint + erreur avec -dump-glob et Load
barras
2004-04-17
*
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-16
*
maj
filliatr
2004-04-15
*
Bug réaffichage EXT
herbelin
2004-04-15
*
MAJ
herbelin
2004-04-15
*
maj
filliatr
2004-04-14
*
MAJ
herbelin
2004-04-14
*
MAJ numéro magique
herbelin
2004-04-14
*
Ajout exemple Bruno
herbelin
2004-04-14
*
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
2004-04-13
*
Suppression documentation option raw-comments qui est vraiment trop ad hoc po...
herbelin
2004-04-13
*
Correction confusion entre la dependance en les termes filtrees dans l'annota...
herbelin
2004-04-13
*
maj
filliatr
2004-04-12
*
maj
filliatr
2004-04-11
*
maj
filliatr
2004-04-09
*
maj
filliatr
2004-04-08
*
Chgt role 2eme argument AList et implantation affichage motifs recursifs de n...
herbelin
2004-04-08
*
Incoherence bytecamlc et camlc si echec a trouver ocamlc.opt avec option -opt...
herbelin
2004-04-08
*
Copyright notice of files in contrib/xml made uniform.
sacerdot
2004-04-07
*
maj
filliatr
2004-04-07
*
maj
filliatr
2004-04-07
*
Old file. The new version of this script is no longer distributed with
sacerdot
2004-04-07
*
- theoryobject.dtd is the DTD for .theory files
sacerdot
2004-04-07
*
Loic code to pretty-print the generated proof-tree debranched (since it
sacerdot
2004-04-07
*
preparation a la release 8.0
barras
2004-04-07
*
*** empty log message ***
barras
2004-04-07
*
bug #606: mis un message d'erreur plus clair
barras
2004-04-07
*
CoRN CProp detection improved: products of "sort" CProp are now recognized
sacerdot
2004-04-07
*
Coqdoc backtrack: HTML special characters are no longer quoted inside # ... #;
sacerdot
2004-04-07
*
A few changes backtracked:
sacerdot
2004-04-07
*
maj
filliatr
2004-04-06
*
1. In -html mode the generated files are well-formed XML files
sacerdot
2004-04-06
*
Fake dependent products in inductive definition types are no longer replaced
sacerdot
2004-04-06
*
Premier jet annonce finale
herbelin
2004-04-06
*
Important bug fix: since coqdoc is now quoting XML reserved characters in
sacerdot
2004-04-06
*
MAJ V8.0 finale
herbelin
2004-04-06
*
sumbool et sumor affich avec 'if' si possible
herbelin
2004-04-06
*
warning dialog when save fails
marche
2004-04-06
*
Bug sur commit 1.44 dans find_constructor (Not_Found pas rattrape)
herbelin
2004-04-06
*
echappement de <, > et & en HTML
filliatr
2004-04-06
*
maj
filliatr
2004-04-05
*
Déclaration des record au chargement (ce n'est pas une question de visibilit...
herbelin
2004-04-05
*
Since coqdoc produces (X)HTML, HTML character entities can be used
sacerdot
2004-04-05
*
correction rapide du bug PR\#592
letouzey
2004-04-05
[next]