aboutsummaryrefslogtreecommitdiffhomepage
path: root/parsing/termast.ml
Commit message (Expand)AuthorAge
...
* suppression des (* open Generic *)Gravatar filliatr2000-11-02
* Bug affichage des implicites; bug de compatibilité LAMBDA/LAMBDALISTGravatar herbelin2000-10-05
* Utilisation de local_strong plutôt que strong buggé avec défs localesGravatar herbelin2000-10-04
* Renommage AppL en AppGravatar herbelin2000-10-01
* Abstraction de constrGravatar herbelin2000-09-14
* Correction pour make docGravatar herbelin2000-09-10
* Suppression de AbstGravatar herbelin2000-09-10
* Ajout d'un LetIn primitif.Gravatar herbelin2000-09-10
* Passage à des contextes de vars et de rels pouvant contenir des déclarationsGravatar herbelin2000-07-24
* portage RefineGravatar filliatr2000-07-20
* Nettoyage de GenericGravatar herbelin2000-05-31
* Modification messages d'erreurs, possibilité de n'importe quel constr dans l...Gravatar herbelin2000-05-26
* Réparation bug d'affichage et affichage des instanciations par des {...}Gravatar herbelin2000-05-23
* CommentairesGravatar herbelin2000-05-22
* suppression de Fw pour les implicitesGravatar herbelin2000-05-03
* Bug redondance entre 'RRef (RMeta _)' et 'PMeta _'Gravatar herbelin2000-05-02
* Suite intégration de constr_patternGravatar herbelin2000-04-30
* Déplacement du type reference dans TermGravatar herbelin2000-04-28
* Changement de représentation du contexte des réf dans rawconstr et patternGravatar herbelin2000-04-28
* Introduction d'un type constr_pattern pour les différents filtragesGravatar herbelin2000-04-26
* Extension du case_info : ajout du nombre de vrais args de chaque constr pour ...Gravatar herbelin2000-03-21
* Affichage des anonymes si lambdaGravatar herbelin2000-03-20
* Capture des exceptions si env vide pour ne pas echouer lors du debogageGravatar herbelin2000-03-07
* Restructuration printer et parserGravatar herbelin2000-01-07
* Nouveaux types 'constructor' et 'inductive' dans Term;Gravatar herbelin1999-12-15
* Poursuite intégration du CasesGravatar herbelin1999-12-13
* Intégration initiale du CasesGravatar herbelin1999-12-11
* Suppression Rel de rawconstr et correction de bugs d'affichageGravatar herbelin1999-12-10
* Bug affichage constructeurGravatar herbelin1999-12-09
* Discharge (encore bugge)Gravatar filliatr1999-12-09
* mise au point lexer / debugage PPGravatar filliatr1999-12-05
* affichage classes et coercionsGravatar filliatr1999-12-02
* Intégration du Termast et du Retyping de HH, et modifications connexesGravatar herbelin1999-12-01
* module TermastGravatar filliatr1999-11-26
* - module Redinfo dans library/ pour les constantes d'éliminationGravatar filliatr1999-10-22
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-29 01:34:34 +0000