aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2004-03-25ProofTree2Xml is no longer directly used by Xmlcommand.sacerdot
2004-03-25No longer used.sacerdot
2004-03-25Dead code removed.sacerdot
2004-03-25Comment removed.sacerdot
2004-03-25majfilliatr
2004-03-25majfilliatr
2004-03-24MAJ commentairesherbelin
2004-03-24*** empty log message ***barras
2004-03-24MAJ Claudio pour v8herbelin
2004-03-24Reparation typo de HH dans MAJ de Claudioherbelin
2004-03-24MAJ Claudio pour v8herbelin
2004-03-24Utilisation du printer approprie a la version de syntaxeherbelin
2004-03-24bug de PP des fix (coqbugs #574)barras
2004-03-24*** empty log message ***barras
2004-03-24Nettoyageherbelin
2004-03-24Effacement tardif de ce fichier qui a ete transforme le 5 nov 2002 en une ver...herbelin
2004-03-24code mortherbelin
2004-03-24nouvelle commande Set Extraction Flag: reglage fins des optimsletouzey
2004-03-24majfilliatr
2004-03-23meme correction de bug, en moins bourrinletouzey
2004-03-23majfilliatr
2004-03-22PolyList -> Listletouzey
2004-03-22correction d'un bug faisant inliner minus, mult, ...letouzey
2004-03-22majfilliatr
2004-03-20petit rajeunissement du test d'extractionletouzey
2004-03-20majfilliatr
2004-03-19Bug protection array_fold_left2herbelin
2004-03-19majfilliatr
2004-03-19majfilliatr
2004-03-18Traduction ad hoc pour Hint Rewrite in usingherbelin
2004-03-18coqc: create_process sous Windowscoq
2004-03-18Backtrack sur commit 1.20herbelin
2004-03-18MAJ macosxherbelin
2004-03-18majfilliatr
2004-03-18majfilliatr
2004-03-17Desactivation de la syntaxe v7 de Hint Rewrite en v8herbelin
2004-03-17Hack pour traduction des changements non uniformes de syntaxe des TACTIC et V...herbelin
2004-03-17Hack pour traduction des changements non uniformes de syntaxe des TACTIC et V...herbelin
2004-03-17install de coqdocbarras
2004-03-17suppression du ./ devant (et .\ sous Windows)filliatr
2004-03-17MAJherbelin
2004-03-17Parsing des V8Notation avec motif recursif en v7herbelin
2004-03-17Definition de la notation de la paire par un motif recursifherbelin
2004-03-17Definition de la notation de la paire par un motif recursifherbelin
2004-03-17Utilisation de '..' pour la notation concrete des motifs recursifs de filtrageherbelin
2004-03-17Motifs recursifs de notations: prise en compte de l'associativite et des nota...herbelin
2004-03-17Amelioration affichage des notationsherbelin
2004-03-17CREDITSmohring
2004-03-17majfilliatr
2004-03-17Commentairesherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-26 15:20:59 +0000