Commit message (Expand) | Author | Age | |
---|---|---|---|
* | MAJ | herbelin | 2000-10-06 |
* | mise a jour dependances | filliatr | 2000-09-18 |
* | MAJ | herbelin | 2000-09-14 |
* | MAJ | herbelin | 2000-09-12 |
* | Suppression de Abst | herbelin | 2000-09-10 |
* | Ajout d'un LetIn primitif. | herbelin | 2000-09-10 |
* | kernel/type_errors.ml | herbelin | 2000-09-06 |
* | retablissement make doc et make minicoq | filliatr | 2000-07-25 |
* | MAJ | herbelin | 2000-07-24 |
* | Pattern -> parsing | delahaye | 2000-07-21 |
* | portage Refine | filliatr | 2000-07-20 |
* | MAJ | herbelin | 2000-06-29 |
* | portage EAuto et Ring | filliatr | 2000-06-21 |
* | MAJ | herbelin | 2000-06-02 |
* | Mise en place d'un choix constr/typed_type en remplacement de certains Cast | herbelin | 2000-06-01 |
* | Changement nom module Constant en Declarations | herbelin | 2000-05-22 |
* | MAJ | herbelin | 2000-05-18 |
* | Intégration de leminv | herbelin | 2000-05-05 |
* | MAJ | herbelin | 2000-05-04 |
* | MAJ | herbelin | 2000-05-03 |
* | Ajout du langage de tactiques | delahaye | 2000-05-03 |
* | MAJ | herbelin | 2000-04-30 |
* | MAJ | herbelin | 2000-04-28 |
* | portage Omega (code seulement) | filliatr | 2000-04-28 |
* | MAJ | herbelin | 2000-04-26 |
* | - bug make_module_marker (plus de # et de .obj maintenant) | filliatr | 2000-03-21 |
* | MAJ | herbelin | 2000-03-21 |
* | MAJ | herbelin | 2000-03-21 |
* | Tauto | filliatr | 2000-03-20 |
* | MAJ | herbelin | 2000-03-08 |
* | gros commit de tout ce que j'ai fait pendant les vacances : | filliatr | 2000-01-21 |
* | Nettoyage des fichiers de parsing | herbelin | 2000-01-13 |
* | Ajout de Record | herbelin | 2000-01-11 |
* | Restructuration diverses | herbelin | 2000-01-07 |
* | Nouveaux types 'constructor' et 'inductive' dans Term; | herbelin | 1999-12-15 |
* | rattrapage exceptions autres que UserError | filliatr | 1999-12-14 |
* | petite erreur dans Command | filliatr | 1999-12-13 |
* | Poursuite intégration du Cases | herbelin | 1999-12-13 |
* | mise a jour | filliatr | 1999-12-12 |
* | mise en place des outils | filliatr | 1999-12-11 |
* | Intégration initiale du Cases | herbelin | 1999-12-11 |
* | debug reset | filliatr | 1999-12-10 |
* | Suppression Rel de rawconstr et correction de bugs d'affichage | herbelin | 1999-12-10 |
* | deplacement de Discharge dans toplevel | filliatr | 1999-12-08 |
* | debuggage inductifs (suite) / compilation Dhyp et Auto (mais pas linkes | filliatr | 1999-12-07 |
* | Ajout option spéciale PPC | herbelin | 1999-12-06 |
* | premier debugage | filliatr | 1999-12-05 |
* | compilation native | filliatr | 1999-12-03 |
* | bug make_strength repare | filliatr | 1999-12-03 |
* | - coqmktop | filliatr | 1999-12-03 |