aboutsummaryrefslogtreecommitdiffhomepage
path: root/parsing/pretty.ml
Commit message (Expand)AuthorAge
* suppression des (* open Generic *)Gravatar filliatr2000-11-02
* Renommage var en named et decl en assumGravatar herbelin2000-10-26
* Simplifications autour de typed_type (renommé types par analogie avec sorts)...Gravatar herbelin2000-10-18
* Renommage canonique :Gravatar herbelin2000-10-18
* Correction pb de globalisation dans print_mutualGravatar herbelin2000-10-18
* Correction incompatibilites dans la fn des types des inductifsGravatar herbelin2000-10-06
* Renommage AppL en AppGravatar herbelin2000-10-01
* Disparition du type oper mais nouveau type global_referenceGravatar herbelin2000-10-01
* Abstraction de constrGravatar herbelin2000-09-14
* Modification mkAppL; abstraction via kind_of_term; changement dans ReductionGravatar herbelin2000-09-12
* Correction pour make docGravatar 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
* Précalcul de la forme canonique des constructeurs et arités pour traiter le...Gravatar herbelin2000-07-01
* Mise en place d'un choix constr/typed_type en remplacement de certains CastGravatar herbelin2000-06-01
* Nettoyage de Generic;Suppression des DLAM en tête des listes de constructeursGravatar herbelin2000-05-31
* Suite restructuration inductifs; changement nom module Constant en DeclarationsGravatar herbelin2000-05-22
* suppression de Fw pour les implicitesGravatar herbelin2000-05-03
* Déplacement du type reference dans TermGravatar herbelin2000-04-28
* Abstraction du type typed_type (un pas vers les jugements 2 niveaux)Gravatar herbelin2000-04-20
* MAJ ocaml 2.99 (espaces dans la syntaxe des cast)Gravatar herbelin2000-01-26
* Abstraction de l'implémentation des signatures de Sign en vue intégration d...Gravatar herbelin2000-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
* modules et coqcGravatar filliatr1999-12-12
* Intégration initiale du CasesGravatar herbelin1999-12-11
* - constantes avec recettesGravatar filliatr1999-12-09
* declarations eliminations / debuggae inductifs (debut)Gravatar filliatr1999-12-06
* mise au point lexer / debugage PPGravatar filliatr1999-12-05
* modifs pour premiere edition de liensGravatar filliatr1999-12-02
* affichage classes et coercionsGravatar filliatr1999-12-02
* Intégration du Termast et du Retyping de HH, et modifications connexesGravatar herbelin1999-12-01
* mise au point Declare et avancee dans AsttermGravatar filliatr1999-12-01
* - Typing -> Safe_typingGravatar filliatr1999-12-01
* portage Astterm (partiellement)Gravatar filliatr1999-11-29
* module Pretty (partiellement)Gravatar filliatr1999-11-26
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-04 12:39:01 +0000