aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Traduction ad hoc pour Hint Rewrite in usingGravatar herbelin2004-03-18
* coqc: create_process sous WindowsGravatar coq2004-03-18
* Backtrack sur commit 1.20Gravatar herbelin2004-03-18
* MAJ macosxGravatar herbelin2004-03-18
* majGravatar filliatr2004-03-18
* majGravatar filliatr2004-03-18
* Desactivation de la syntaxe v7 de Hint Rewrite en v8Gravatar herbelin2004-03-17
* Hack pour traduction des changements non uniformes de syntaxe des TACTIC et V...Gravatar herbelin2004-03-17
* Hack pour traduction des changements non uniformes de syntaxe des TACTIC et V...Gravatar herbelin2004-03-17
* install de coqdocGravatar barras2004-03-17
* suppression du ./ devant (et .\ sous Windows)Gravatar filliatr2004-03-17
* MAJGravatar herbelin2004-03-17
* Parsing des V8Notation avec motif recursif en v7Gravatar herbelin2004-03-17
* Definition de la notation de la paire par un motif recursifGravatar herbelin2004-03-17
* Definition de la notation de la paire par un motif recursifGravatar herbelin2004-03-17
* Utilisation de '..' pour la notation concrete des motifs recursifs de filtrageGravatar herbelin2004-03-17
* Motifs recursifs de notations: prise en compte de l'associativite et des nota...Gravatar herbelin2004-03-17
* Amelioration affichage des notationsGravatar herbelin2004-03-17
* CREDITSGravatar mohring2004-03-17
* majGravatar filliatr2004-03-17
* CommentairesGravatar herbelin2004-03-17
* Message d'erreurGravatar herbelin2004-03-17
* Mise en place de motifs récursifs dans Notation; quelques simplifications au...Gravatar herbelin2004-03-17
* MAJGravatar herbelin2004-03-16
* Mise a jour ZArith/CregutGravatar mohring2004-03-16
* mise a jour des menusGravatar mohring2004-03-16
* Adaptation a la v7 du message d'erreur Match_failureGravatar herbelin2004-03-16
* typoGravatar coq2004-03-16
* application patch de Lionel Elie Mamane pour option -R et chemins relatifs/ab...Gravatar filliatr2004-03-16
* install de pcoq incorrect + spec rpmGravatar barras2004-03-16
* pages de man pour coqwc et coqdocGravatar filliatr2004-03-16
* page de man pour coqdocGravatar filliatr2004-03-16
* page de man pour coqwcGravatar filliatr2004-03-16
* majGravatar filliatr2004-03-16
* majGravatar filliatr2004-03-16
* preparation pour release (suite)Gravatar barras2004-03-15
* bug d'Inversion #529 (pb avec ordre d'evaluation)Gravatar barras2004-03-15
* MAJGravatar herbelin2004-03-15
* Ajout affichage contexte localGravatar herbelin2004-03-15
* ajout des Print Scopes dans liste commandes sans effetGravatar mohring2004-03-15
* preparation packages V8.0-cdromGravatar barras2004-03-15
* Ajout d'un fichier COPYRIGHTGravatar mohring2004-03-15
* Mise a jour CREDITS en vue copyrightGravatar mohring2004-03-15
* preparation packages V8.0-cdromGravatar barras2004-03-15
* preparation packages V8.0-cdromGravatar barras2004-03-15
* Nouvelle reparation pour Abstract en presence de variables de contexte: on co...Gravatar herbelin2004-03-15
* To make that the translation process does not fail on data produced byGravatar bertot2004-03-15
* oopsGravatar corbinea2004-03-15
* mise a jour depend.coq7 vs ROmegaGravatar mohring2004-03-15
* identification ./f et f dans coqdep -sortGravatar filliatr2004-03-15
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-16 19:18:46 +0000