aboutsummaryrefslogtreecommitdiff
path: root/dev
AgeCommit message (Expand)Author
2001-05-23amelioration des messages d'erreurs vis a vis des evarsbarras
2001-05-15Modification pour passage p-automatesmohring
2001-05-10ajout d'un afficher de contexte et d'une fonction constbody_of_stringletouzey
2001-05-03Changement de la structure des points fixesbarras
2001-04-03Make sure that the COQTOP variable is really used, when it is set.bertot
2001-03-15entetesfilliatr
2001-03-06modifs pour extraction; bug coqmktopfilliatr
2001-03-05module Explore générique et réécriture EAuto avec ce module; occur check ...filliatr
2001-03-01Déplacement de qualid dans Nametab, hors du noyauherbelin
2001-03-01Déplacement de qualid dans Nametab, hors du noyauherbelin
2001-03-01nouvelle implantation de la reductionbarras
2001-01-30MAJherbelin
2000-12-18MAJherbelin
2000-12-15Printermohring
2000-12-14Bug sur commit précédentherbelin
2000-12-14Enfin trouvé la cause d'exception; suppression de la capsule de rattrapageherbelin
2000-12-05Ajout du répertoire config utilisé par System en localherbelin
2000-12-04Ajout de constr_of_stringmohring
2000-11-29ajout constr_displayfilliatr
2000-11-29-I configmohring
2000-11-26Prise en compte qualidherbelin
2000-11-24MAJherbelin
2000-11-24Paramètrage de ocamldebug-v7 par configure à partir d'un 'template'herbelin
2000-11-22Reparation bug mutuels indmohring
2000-11-11Gros hack pour afficher les universherbelin
2000-11-02suppression des (* open Generic *)filliatr
2000-10-27g_natsyntax et g_zsyntax maintenant toujours linkesfilliatr
2000-10-23MAJherbelin
2000-10-18MAJherbelin
2000-10-11MAJherbelin
2000-10-06MAJ pr_uniherbelin
2000-10-04Commit malencontreux sur précédente versionherbelin
2000-10-04Mise en conformité nouveau Simpl pour Fixherbelin
2000-10-03MAJherbelin
2000-10-01Renommage AppL en Appherbelin
2000-10-01MAJherbelin
2000-09-26MAJherbelin
2000-09-14MAJherbelin
2000-09-12MAJherbelin
2000-09-10Ajout d'un LetIn primitif.herbelin
2000-09-06Canonisation de certains noms dans Pretyping, Asterm et Safe_typingherbelin
2000-07-24MAJherbelin
2000-07-24Passage à des contextes de vars et de rels pouvant contenir des déclarationsherbelin
2000-06-21bug discharge STRUCTURE; FrozenState supprimmes dans les ClosedSection -> .vo...filliatr
2000-06-02MAJherbelin
2000-06-01Mise en place d'un choix constr/typed_type en remplacement de certains Castherbelin
2000-05-18MAJ modifs Inductiveherbelin
2000-05-05MAJherbelin
2000-05-04Nettoyage de l'interface de Pfeditherbelin
2000-05-03Ajout de PrintConstr pour debugdelahaye
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 16:43:48 +0000