| Age | Commit message (Expand) | Author |
|---|
| 2005-05-20 | Adoption du nom canonique global_of_constr pour éviter confusion avec type r... | herbelin |
| 2005-02-18 | Standardisation of function names about global references (especially, renami... | herbelin |
| 2005-01-14 | Inductive.{type_of_inductive,type_of_constructor,arities_of_specif} changed | sacerdot |
| 2005-01-01 | Déplacement de 'project' dans Refiner pour supprimer des dépendances en Tac... | herbelin |
| 2004-11-16 | IMPORTANT COMMIT: constant is now an ADT (it used to be equal to kernel_name). | sacerdot |
| 2004-09-27 | firstorder bugfix to cope with elim of sigma types with goal is of the wrong ... | corbinea |
| 2004-09-17 | restructuration des printers: proofs passe avant parsing | barras |
| 2004-09-15 | hiding the meta_map in evar_defs | barras |
| 2004-07-16 | Nouvelle en-tête | herbelin |
| 2004-03-11 | Ooops ! bug in firstorder fixed (let's hope no one noticed) | corbinea |
| 2004-02-06 | correction de bugs de congruence et firstorder (inductifs) | corbinea |
| 2003-12-23 | Retablissement de GIntuition juste pour FSets | herbelin |
| 2003-12-23 | *** empty log message *** | barras |
| 2003-11-29 | ground->firstorder, cc-> congruence, CC final commit | corbinea |
| 2003-11-13 | factorisation et generalisation des clauses | barras |
| 2003-11-09 | Traduction semantique des InHyp de clause en InHypValue si local def | herbelin |
| 2003-10-13 | Ground update changing left-arrow-arrow rule. | corbinea |
| 2003-09-23 | Changement de l'afficheur pour que les variables liées aient un nom indépen... | herbelin |
| 2003-09-22 | Passage à la V8 par défaut | herbelin |
| 2003-07-11 | Ground bugfix | corbinea |
| 2003-07-08 | Ground update | corbinea |
| 2003-07-04 | Ground bugfix | corbinea |
| 2003-07-03 | switching back to old tauto | corbinea |
| 2003-07-03 | modification ground | corbinea |
| 2003-07-03 | addition of Auto hints in Ground | corbinea |
| 2003-07-02 | added hints into Ground | corbinea |
| 2003-06-22 | Ground update | corbinea |
| 2003-06-20 | Ground update | corbinea |
| 2003-06-20 | Ground Update. | corbinea |
| 2003-06-16 | Ground update | corbinea |
| 2003-06-16 | ground update | corbinea |
| 2003-06-15 | Ground major update ... mmm, sounds exciting ! | corbinea |
| 2003-06-14 | ground update | corbinea |
| 2003-06-14 | Major Ground update, may break semantics | corbinea |
| 2003-06-13 | Ground update | corbinea |
| 2003-06-13 | Ground update, new files. | corbinea |
| 2003-06-13 | Ground update. | corbinea |
| 2003-06-10 | Réinstallation d'un afficheur de niveau d'imbrication pour le déboggueur de... | herbelin |
| 2003-06-04 | bugfix for Ground ( merci JC ) | corbinea |
| 2003-06-04 | Ground update + some bugfix | corbinea |
| 2003-05-29 | Ground daily update | corbinea |
| 2003-05-26 | GIntuition now matches Intuition up to hyps renaming. | corbinea |
| 2003-05-26 | Added breakpoint in Ground tactic. | corbinea |
| 2003-05-26 | moved engine.ml4 to ground.ml4, added option 'Ground Depth' | corbinea |
| 2003-05-25 | Ground and CCsolve updates | corbinea |
| 2003-05-19 | Renommage CMeta en CPatVar qui sert à saisir les PMeta de Pattern | herbelin |
| 2003-05-16 | Major Ground tactic update, sensible performance improvement | corbinea |
| 2003-05-08 | bugfixes in Ground. | corbinea |
| 2003-05-07 | Enhancement of the Ground tactic, addition of GTauto and GIntuition. | corbinea |
| 2003-04-26 | bugfix in Ground tactic | corbinea |
