aboutsummaryrefslogtreecommitdiffhomepage
path: root/parsing/termast.ml
Commit message (Expand)AuthorAge
* Déplacement de qualid dans Nametab, hors du noyauGravatar herbelin2001-03-01
* Bug affichage coercionsGravatar herbelin2001-02-16
* ident au lieu de string pour le nom de base de qualidGravatar herbelin2001-02-16
* Mise en place d'un système optionnel de discharge immédiat; prise en compte...Gravatar herbelin2001-02-14
* Retrait de EvarRef de global_reference; nettoyage autour de ast_of_refGravatar herbelin2001-02-07
* Ajout d'une commande pour afficher chaque coercion à la demandeparsing/g_bas...Gravatar herbelin2001-02-06
* Suppression de l'affichage des instances des ?nGravatar herbelin2000-12-18
* Ajout des Fix et CoFix dans les patternsGravatar delahaye2000-11-28
* Prise en compte des implicites de locaux à l'affichageGravatar herbelin2000-11-27
* Affichage des paths avec des '.'; print_id, print_sp -> pr_id, pr_sp;Gravatar herbelin2000-11-23
* Utilisation de global_reference dans rawconstrGravatar herbelin2000-11-20
* 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-16 21:56:56 +0000