aboutsummaryrefslogtreecommitdiffhomepage
path: root/parsing
Commit message (Expand)AuthorAge
* Amélioration message d'erreur arg explicité au lieu d'arg normalGravatar herbelin2000-11-09
* nouveau load pathGravatar filliatr2000-11-08
* out_variable (Liboject.obj -> ...) distibgue de get_variableGravatar filliatr2000-11-08
* MAJGravatar herbelin2000-11-07
* Changement/extension dans les noms de parseurs de GrammarGravatar herbelin2000-11-07
* Nettoyage Names et conséquences (dont ajout d'un type dir_path, argument de ...Gravatar herbelin2000-11-06
* nouveau discharge fait par le noyau; plus de recettes dans les corps des cons...Gravatar filliatr2000-11-06
* Nouveau mode de compilation de .ml4Gravatar herbelin2000-11-05
* Déplacement d'une partie de g_vernac.ml4 dans g_proofs.ml4 car fichier deven...Gravatar herbelin2000-11-05
* compilation des fichiers ml4 sans GNUseriesGravatar filliatr2000-11-03
* suppression des (* open Generic *)Gravatar filliatr2000-11-02
* - simplification Makefile (compilation des fichiers .ml'; pas encore parfaitGravatar filliatr2000-10-31
* Priorite du Try/Orelse + Debug switch + correction bug dans PatternGravatar delahaye2000-10-30
* Renommage var en named et decl en assumGravatar herbelin2000-10-26
* Bug de copier-collerGravatar herbelin2000-10-24
* Pb affichage warningGravatar herbelin2000-10-21
* Simplifications autour de typed_type (renommé types par analogie avec sorts)...Gravatar herbelin2000-10-18
* Renommage canonique :Gravatar herbelin2000-10-18
* Parsing des motifs de Syntax avec la grammaire associée à l'univers de la d...Gravatar herbelin2000-10-18
* 2èmeGravatar herbelin2000-10-18
* Mise en place de parseurs avec globalisation pas seulement dans les quotation...Gravatar herbelin2000-10-18
* NettoyageGravatar herbelin2000-10-18
* globalize_command devient globalize_constrGravatar herbelin2000-10-18
* Correction pb de globalisation dans print_mutualGravatar herbelin2000-10-18
* Pb factorisation de Print GrammarGravatar herbelin2000-10-17
* Changement "command" en "constr" et globalize_command en globalize_constrGravatar herbelin2000-10-16
* Suite du précédentGravatar herbelin2000-10-11
* Plus d'échec sur les globaux lorsque prterm est appelé par le débuggerGravatar herbelin2000-10-10
* Correction incompatibilites dans la fn des types des inductifsGravatar herbelin2000-10-06
* 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
* Ajout castedopenconstrargGravatar herbelin2000-10-03
* Ajout de globpr dans tacprGravatar herbelin2000-10-03
* Ajout castedopenconstrarg; Renommage tactique Let en LetTacGravatar herbelin2000-10-03
* Reorganisation des interp_constrGravatar herbelin2000-10-03
* Renommage AppL en AppGravatar herbelin2000-10-01
* Disparition du type oper mais nouveau type global_referenceGravatar herbelin2000-10-01
* Déplacement 'a reference et binder_kind de Term vers RawtermGravatar herbelin2000-10-01
* Nettoyage pretyping; ise_resolve_* devient understand_*; Ajout d'une notion d...Gravatar herbelin2000-09-26
* 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
* Suppression de AbstGravatar herbelin2000-09-10
* Ajout d'un LetIn primitif.Gravatar herbelin2000-09-10
* Canonisation de certains noms dans Pretyping, Asterm et Safe_typingGravatar herbelin2000-09-06
* code mortGravatar herbelin2000-09-06
* Bug dans le filtrage des paires, nettoyageGravatar herbelin2000-08-20
* Pattern matching de sous-termes + exceptions dans le lexerGravatar delahaye2000-08-17
* Plus de piquants dans les actions des grammaires; nom de la grammaire pris co...Gravatar herbelin2000-07-28
* Ajout syntaxe [ phr1 ... phrn ]. pour grouper des commandes (pour Time ou Gra...Gravatar herbelin2000-07-26
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-12 06:51:26 +0000