aboutsummaryrefslogtreecommitdiff
path: root/CHANGES
AgeCommit message (Expand)Author
2005-03-07Added 'clear - id' to clear all hypotheses except the ones dependent in the s...herbelin
2005-02-18Renaming Print Canonical Structure into Print Canonical Projectionsherbelin
2005-02-12Ajout Print Canonical Structuresherbelin
2005-02-06Nettoyage et documentation de Libraryherbelin
2005-01-13Construct "T with (Definition|Module) id := c" generalized tosacerdot
2005-01-06- Module/Declare Module syntax made more uniform:sacerdot
2005-01-03HUGE COMMITsacerdot
2004-12-27Utilisation d'entiers en précision arbitraire pour le noyau d'omega (cf #898)herbelin
2004-11-17New command "Print Rewrite HindDb dbname".sacerdot
2004-11-17Ajout 'Locate Module'herbelin
2004-11-09MAJherbelin
2004-11-08Prise en compte des notations récursives dans l'option 'format'herbelin
2004-10-11'match term' now evaluates by default. Added 'lazy' keyword to delay the eval...herbelin
2004-09-09Ajout de or-pattern pour le match-with v8herbelin
2004-04-17Incorrection exportation XMLherbelin
2004-04-17Finalement pas de liste des contributions (cela n'avait été fait que pour l...herbelin
2004-04-16Nouvelles majsherbelin
2004-04-14MAJherbelin
2004-03-28MAJherbelin
2004-03-17MAJherbelin
2004-03-15preparation pour release (suite)barras
2004-03-15MAJherbelin
2004-03-10MAJherbelin
2004-02-27MAJherbelin
2004-02-21MAJherbelin
2004-02-12MAJherbelin
2004-02-09New version of Functional Scheme and functional induction. Deals withcoq
2004-02-06MAJherbelin
2004-02-03MAJherbelin
2004-01-29MAJherbelin
2004-01-23MAJherbelin
2004-01-21MAJherbelin
2003-12-23*** empty log message ***barras
2003-12-22MAJherbelin
2003-12-01*** empty log message ***clrenard
2003-12-01Nouvelle tactique EExistsclrenard
2003-12-01Idtac parlenarboux
2003-11-30MAJherbelin
2003-11-23MAJherbelin
2003-11-18MAJherbelin
2003-11-12MAJherbelin
2003-11-12deux doigts d'extraction dans le CHANGES pour la V8letouzey
2003-11-08MAJherbelin
2003-10-28MAJherbelin
2003-10-13MAJherbelin
2003-10-10MAJherbelin
2003-10-08MAJherbelin
2003-09-26MAJherbelin
2003-06-14Ajout option Local à Hint, Hints et HintDestructherbelin
2003-06-13Utilisation de intro_pattern dans NewDestruct/NewInductionherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-26 00:46:22 +0000