aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
2004-03-17Message d'erreurherbelin
2004-03-17Mise en place de motifs récursifs dans Notation; quelques simplifications au...herbelin
2004-03-16MAJherbelin
2004-03-16Mise a jour ZArith/Cregutmohring
2004-03-16mise a jour des menusmohring
2004-03-16Adaptation a la v7 du message d'erreur Match_failureherbelin
2004-03-16typocoq
2004-03-16application patch de Lionel Elie Mamane pour option -R et chemins relatifs/ab...filliatr
2004-03-16install de pcoq incorrect + spec rpmbarras
2004-03-16pages de man pour coqwc et coqdocfilliatr
2004-03-16page de man pour coqdocfilliatr
2004-03-16page de man pour coqwcfilliatr
2004-03-16majfilliatr
2004-03-16majfilliatr
2004-03-15preparation pour release (suite)barras
2004-03-15bug d'Inversion #529 (pb avec ordre d'evaluation)barras
2004-03-15MAJherbelin
2004-03-15Ajout affichage contexte localherbelin
2004-03-15ajout des Print Scopes dans liste commandes sans effetmohring
2004-03-15preparation packages V8.0-cdrombarras
2004-03-15Ajout d'un fichier COPYRIGHTmohring
2004-03-15Mise a jour CREDITS en vue copyrightmohring
2004-03-15preparation packages V8.0-cdrombarras
2004-03-15preparation packages V8.0-cdrombarras
2004-03-15Nouvelle reparation pour Abstract en presence de variables de contexte: on co...herbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-12 22:11:47 +0000