aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2003-07-02added hints into Groundcorbinea
2003-07-02suppression de newtautocorbinea
2003-07-02rm -f .depend (sans le -f "make depend" echoue lorsque le .dependfilliatr
2003-06-30Comparaison de Cases module mind_equivcoq
2003-06-28majfilliatr
2003-06-27*** empty log message ***courant
2003-06-25coqide : status bar more informative, forbid Section/Module in proo modemonate
2003-06-25majfilliatr
2003-06-25Une completion de l'interpretation des TacAlias pour la partie interpretableherbelin
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-26 04:55:24 +0000