aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2003-06-19addfilliatr
2003-06-19bal: preuve termineefilliatr
2003-06-19bal: premier cas hl > hr + 2filliatr
2003-06-19undo de "Time tactic"filliatr
2003-06-19typofilliatr
2003-06-18*** empty log message ***monate
2003-06-18AVL: suitefilliatr
2003-06-18Arguments superflus pour Zlength_nilherbelin
2003-06-17Ajout option Local aux Hintherbelin
2003-06-17AVL: suitefilliatr
2003-06-17AVL de caml: un debutfilliatr
2003-06-17majfilliatr
2003-06-16Ground updatecorbinea
2003-06-16Ground depthfilliatr
2003-06-16ground updatecorbinea
2003-06-16reparation fsets suite a changement de Groundfilliatr
2003-06-15Ground major update ... mmm, sounds exciting !corbinea
2003-06-14ground updatecorbinea
2003-06-14dependcoq integre les fichiers de fsetsletouzey
2003-06-14Major Ground update, may break semanticscorbinea
2003-06-14Ajout option Local à Hint, Hints et HintDestructherbelin
2003-06-14Deplacement de le_minus de fast_integer vers Minusherbelin
2003-06-14Deplacement de le_minus de fast_integer vers Minusherbelin
2003-06-14majfilliatr
2003-06-13changement de spécif du foldletouzey
2003-06-13Ground updatecorbinea
2003-06-13CoqIDE: undo plus efficace sur les inductifsfilliatr
2003-06-13Ground update, new files.corbinea
2003-06-13coqide: indentationmonate
2003-06-13Utilisation de intro_pattern dans NewDestruct/NewInductionherbelin
2003-06-13fcts tail-recursivesfilliatr
2003-06-13Require Exportfilliatr
2003-06-13install-fsetsfilliatr
2003-06-13FSets, mais pas compile' par make worldfilliatr
2003-06-13suite changements ZArith en vu de librairie FSetletouzey
2003-06-13quelques adaptations de Zarith en vu de la nouvelle librarie FSetletouzey
2003-06-13coqide: about now displays versions/Fix for alt-entermonate
2003-06-13Deplacement d'un lemme sur nat de ZArith vers Arithherbelin
2003-06-13CoqIDE: undo immediat sur les commandes ne modifiant pas l'etatfilliatr
2003-06-13Ground update.corbinea
2003-06-12enieme correction du nommage modulaireletouzey
2003-06-12fin de l'affichage des signatures de modules dans les *.mlletouzey
2003-06-12MAJherbelin
2003-06-12INZ reste constante pour compat V7 mais Unfold INZ est supprimé par le tradu...herbelin
2003-06-12Ajout option translate_syntax pour caractériser l'interprétation du traduct...herbelin
2003-06-11Pb quand une meme classe est definie dans 2 fichiersherbelin
2003-06-11Token '.(' seulement pour v8, sinon conflit avec '.(*'herbelin
2003-06-11majfilliatr
2003-06-10MAJherbelin
2003-06-10Typoherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-04 22:00:04 +0000