aboutsummaryrefslogtreecommitdiff
path: root/dev
AgeCommit message (Expand)Author
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
2000-05-03renommage de certains printersherbelin
2000-04-30MAJherbelin
2000-04-28MAJherbelin
2000-04-17Prise en compte du renommage des fonctions de Asttermherbelin
2000-03-28Nettoyage de l'interface d'Astterm; renommage des {pf_,}constr_of_com* en {pf...herbelin
2000-03-18bug discharge (work_alist contenanti plein de fois les memes choses)filliatr
2000-03-17Correction bug des réduction 'deltat' et renommage 'deltat' en 'evar'herbelin
2000-03-07Renommage ppterm0 --> pptermherbelin
2000-01-26mise a jourfilliatr
2000-01-21gros commit de tout ce que j'ai fait pendant les vacances :filliatr
2000-01-07Restructuration printer et parserherbelin
2000-01-07Restructuration diversesherbelin
1999-12-15Nouveaux types 'constructor' et 'inductive' dans Term;herbelin
1999-12-14rattrapage exceptions autres que UserErrorfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 21:39:23 +0000