aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev
Commit message (Expand)AuthorAge
* MAJGravatar herbelin2000-12-18
* PrinterGravatar mohring2000-12-15
* Bug sur commit précédentGravatar herbelin2000-12-14
* Enfin trouvé la cause d'exception; suppression de la capsule de rattrapageGravatar herbelin2000-12-14
* Ajout du répertoire config utilisé par System en localGravatar herbelin2000-12-05
* Ajout de constr_of_stringGravatar mohring2000-12-04
* ajout constr_displayGravatar filliatr2000-11-29
* -I configGravatar mohring2000-11-29
* Prise en compte qualidGravatar herbelin2000-11-26
* MAJGravatar herbelin2000-11-24
* Paramètrage de ocamldebug-v7 par configure à partir d'un 'template'Gravatar herbelin2000-11-24
* Reparation bug mutuels indGravatar mohring2000-11-22
* Gros hack pour afficher les universGravatar herbelin2000-11-11
* suppression des (* open Generic *)Gravatar filliatr2000-11-02
* g_natsyntax et g_zsyntax maintenant toujours linkesGravatar filliatr2000-10-27
* MAJGravatar herbelin2000-10-23
* MAJGravatar herbelin2000-10-18
* MAJGravatar herbelin2000-10-11
* MAJ pr_uniGravatar herbelin2000-10-06
* Commit malencontreux sur précédente versionGravatar herbelin2000-10-04
* Mise en conformité nouveau Simpl pour FixGravatar herbelin2000-10-04
* MAJGravatar herbelin2000-10-03
* Renommage AppL en AppGravatar herbelin2000-10-01
* MAJGravatar herbelin2000-10-01
* MAJGravatar herbelin2000-09-26
* MAJGravatar herbelin2000-09-14
* MAJGravatar herbelin2000-09-12
* Ajout d'un LetIn primitif.Gravatar herbelin2000-09-10
* Canonisation de certains noms dans Pretyping, Asterm et Safe_typingGravatar herbelin2000-09-06
* MAJGravatar herbelin2000-07-24
* Passage à des contextes de vars et de rels pouvant contenir des déclarationsGravatar herbelin2000-07-24
* bug discharge STRUCTURE; FrozenState supprimmes dans les ClosedSection -> .vo...Gravatar filliatr2000-06-21
* MAJGravatar herbelin2000-06-02
* Mise en place d'un choix constr/typed_type en remplacement de certains CastGravatar herbelin2000-06-01
* MAJ modifs InductiveGravatar herbelin2000-05-18
* MAJGravatar herbelin2000-05-05
* Nettoyage de l'interface de PfeditGravatar herbelin2000-05-04
* Ajout de PrintConstr pour debugGravatar delahaye2000-05-03
* renommage de certains printersGravatar herbelin2000-05-03
* MAJGravatar herbelin2000-04-30
* MAJGravatar herbelin2000-04-28
* Prise en compte du renommage des fonctions de AsttermGravatar herbelin2000-04-17
* Nettoyage de l'interface d'Astterm; renommage des {pf_,}constr_of_com* en {pf...Gravatar herbelin2000-03-28
* bug discharge (work_alist contenanti plein de fois les memes choses)Gravatar filliatr2000-03-18
* Correction bug des réduction 'deltat' et renommage 'deltat' en 'evar'Gravatar herbelin2000-03-17
* Renommage ppterm0 --> pptermGravatar herbelin2000-03-07
* mise a jourGravatar filliatr2000-01-26
* gros commit de tout ce que j'ai fait pendant les vacances :Gravatar filliatr2000-01-21
* Restructuration printer et parserGravatar herbelin2000-01-07
* Restructuration diversesGravatar herbelin2000-01-07