aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Bug réaffichage EXTGravatar herbelin2004-04-15
* MAJGravatar herbelin2004-04-15
* majGravatar filliatr2004-04-14
* MAJGravatar herbelin2004-04-14
* MAJ numéro magiqueGravatar herbelin2004-04-14
* Ajout exemple BrunoGravatar herbelin2004-04-14
* majGravatar filliatr2004-04-13
* Ajout codingGravatar herbelin2004-04-13
* Passage a la version 1.3 sous GPL des outils okey et configwin de cameleon en...Gravatar herbelin2004-04-13
* Suppression documentation option raw-comments qui est vraiment trop ad hoc po...Gravatar herbelin2004-04-13
* Correction confusion entre la dependance en les termes filtrees dans l'annota...Gravatar herbelin2004-04-13
* majGravatar filliatr2004-04-12
* majGravatar filliatr2004-04-11
* majGravatar filliatr2004-04-09
* majGravatar filliatr2004-04-08
* Chgt role 2eme argument AList et implantation affichage motifs recursifs de n...Gravatar herbelin2004-04-08
* Incoherence bytecamlc et camlc si echec a trouver ocamlc.opt avec option -opt...Gravatar herbelin2004-04-08
* Copyright notice of files in contrib/xml made uniform.Gravatar sacerdot2004-04-07
* majGravatar filliatr2004-04-07
* majGravatar filliatr2004-04-07
* Old file. The new version of this script is no longer distributed withGravatar sacerdot2004-04-07
* - theoryobject.dtd is the DTD for .theory filesGravatar sacerdot2004-04-07
* Loic code to pretty-print the generated proof-tree debranched (since itGravatar sacerdot2004-04-07
* preparation a la release 8.0Gravatar barras2004-04-07
* *** empty log message ***Gravatar barras2004-04-07
* bug #606: mis un message d'erreur plus clairGravatar barras2004-04-07
* CoRN CProp detection improved: products of "sort" CProp are now recognizedGravatar sacerdot2004-04-07
* Coqdoc backtrack: HTML special characters are no longer quoted inside # ... #;Gravatar sacerdot2004-04-07
* A few changes backtracked:Gravatar sacerdot2004-04-07
* majGravatar filliatr2004-04-06
* 1. In -html mode the generated files are well-formed XML filesGravatar sacerdot2004-04-06
* Fake dependent products in inductive definition types are no longer replacedGravatar sacerdot2004-04-06
* Premier jet annonce finaleGravatar herbelin2004-04-06
* Important bug fix: since coqdoc is now quoting XML reserved characters inGravatar sacerdot2004-04-06
* MAJ V8.0 finaleGravatar herbelin2004-04-06
* sumbool et sumor affich avec 'if' si possibleGravatar herbelin2004-04-06
* warning dialog when save failsGravatar marche2004-04-06
* Bug sur commit 1.44 dans find_constructor (Not_Found pas rattrape)Gravatar herbelin2004-04-06
* echappement de <, > et & en HTMLGravatar filliatr2004-04-06
* majGravatar filliatr2004-04-05
* Déclaration des record au chargement (ce n'est pas une question de visibilit...Gravatar herbelin2004-04-05
* Since coqdoc produces (X)HTML, HTML character entities can be usedGravatar sacerdot2004-04-05
* correction rapide du bug PR\#592Gravatar letouzey2004-04-05
* ** WARNING **Gravatar sacerdot2004-04-04
* majGravatar filliatr2004-04-02
* majGravatar filliatr2004-04-01
* majGravatar filliatr2004-04-01
* LocalFact added as a choice for the "as" attribute of ht:VARIABLE in theGravatar sacerdot2004-04-01
* Big bug fixed: interactive local definitions where handled as constantsGravatar sacerdot2004-04-01
* Output of theory files reimplemented using Buffer.Gravatar sacerdot2004-04-01
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-02 19:04:11 +0000