aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2003-12-19Substitution dans REvar; reparation bug 277herbelin
2003-12-19Substitution dans REvar et PEvar plutot que encodage via noeud application po...herbelin
2003-12-19Reset Initial uniquement interactivementherbelin
2003-12-19name_app accessible a tous dans Nameopsherbelin
2003-12-19majfilliatr
2003-12-18majfilliatr
2003-12-17Prise en compte des sous-termes imbriqués pour 'simpl ident at nums'herbelin
2003-12-17ajout test de non-regression Clear d'une def localebarras
2003-12-17majfilliatr
2003-12-16Correction bug 371 (sub_match retournait des instances non closes)herbelin
2003-12-16MAJ suppression 250herbelin
2003-12-16coqide menus on golasmarche
2003-12-16exists | --> exists ,barras
2003-12-16Duplication temporaire des règles de syntaxe des pairesherbelin
2003-12-16bug #266 (Search Error si on calcule apres avoir fait Clear d'une var Local)barras
2003-12-16majfilliatr
2003-12-15modif existentielle (exists | --> exists ,) + bug d'affichage des pt fixesbarras
2003-12-15'Eval' protege dans Ppconstrnew; eval n'a pas le meme besoinherbelin
2003-12-15Protection du nom Eval pour eviter conflit avec Eval inherbelin
2003-12-15majfilliatr
2003-12-13MAJherbelin
2003-12-13Correction bug soumis par Yvesherbelin
2003-12-13MAJherbelin
2003-12-13majfilliatr
2003-12-12Ajout exemple Yvesherbelin
2003-12-12option -n de coq-texmarche
2003-12-12plus de syntaxe v8marche
2003-12-12majfilliatr
2003-12-11Nouvelle version qui compile dans un sous-repertoire avant d'ecraser le reper...herbelin
2003-12-11majfilliatr
2003-12-10majfilliatr
2003-12-10majfilliatr
2003-12-09cc updatecorbinea
2003-12-09commandes de coqidemarche
2003-12-09majfilliatr
2003-12-09majfilliatr
2003-12-08correction bug: parentheses ne cassent plus les implicitesbarras
2003-12-08preferencesmarche
2003-12-08bug de preferencs/font"marche
2003-12-08pas de Goal pendant une preuvefilliatr
2003-12-08majfilliatr
2003-12-06majfilliatr
2003-12-05power associe a droitemarche
2003-12-05Pour eviter d'avoir un gros type dans Setherbelin
2003-12-05majfilliatr
2003-12-04Suppression du niveau 250 vide car pose des problemes avec camlp4; remplace p...herbelin
2003-12-04Suppression du niveau 250 vide car pose des problemes avec camlp4; remplace p...herbelin
2003-12-04MAJ 'abstract'herbelin
2003-12-04Symetrisation parsing/printing 'abstract'herbelin
2003-12-04changement menu et toolbarmarche
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-25 03:48:38 +0000