aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2003-06-24suppression de FSets (redevient une contrib)filliatr
2003-06-24docfilliatr
2003-06-24concat; debut splitfilliatr
2003-06-23Ajout systématique de Proof dans la traductionherbelin
2003-06-23Formattage Apply withherbelin
2003-06-23Formattage pattern 'match'herbelin
2003-06-23joinfilliatr
2003-06-23add_tree : sur type tree plutot que sur type tfilliatr
2003-06-23merge_bis et debug joinfilliatr
2003-06-22Ground updatecorbinea
2003-06-21Added a test for Functional Induction.courtieu
2003-06-21majfilliatr
2003-06-20Ground updatecorbinea
2003-06-20Bug compilationherbelin
2003-06-20removfilliatr
2003-06-20mergefilliatr
2003-06-20remove_min, remove_maxfilliatr
2003-06-20Ground Update.corbinea
2003-06-20majfilliatr
2003-06-19Ajout 'Symmetry in Hyp'herbelin
2003-06-19Ajout 'Symmetry in Hyp'herbelin
2003-06-19Ajout 'Symmetry in Hyp'; chgt syntaxe 'change ... with ...'herbelin
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-30 14:37:51 +0000