aboutsummaryrefslogtreecommitdiffhomepage
path: root/parsing/pcoq.ml4
Commit message (Expand)AuthorAge
...
* Réparation bug extensibilité de Constr.patternGravatar herbelin2001-01-19
* Ajout du Let pour le langage de tactiquesGravatar delahaye2000-12-29
* ajout ident_or_constrarg pour NewInductionGravatar herbelin2000-12-20
* Prise en compte modules/sections qualifiés dans SearchPattern et SearchRewriteGravatar herbelin2000-12-16
* Notion de 'clause_pattern' pour désigner un ensemble d'occurrences dans le b...Gravatar herbelin2000-12-06
* Restruration autour de qualidargGravatar herbelin2000-11-26
* Ajout diverses entrées pour les noms qualifiésGravatar herbelin2000-11-20
* compilation des fichiers ml4 sans GNUseriesGravatar filliatr2000-11-03
* 2èmeGravatar herbelin2000-10-18
* Mise en place de parseurs avec globalisation pas seulement dans les quotation...Gravatar herbelin2000-10-18
* Ajout castedopenconstrargGravatar herbelin2000-10-03
* 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
* bug token "<:" et ":<"Gravatar herbelin2000-07-26
* $BINDER -> BINDERGravatar filliatr2000-06-21
* Ajout du langage de tactiquesGravatar delahaye2000-05-03
* Fin du changement comarg -> constrargGravatar herbelin2000-01-26
* Bête renommageGravatar herbelin2000-01-20
* Nettoyage des fichiers de parsingGravatar herbelin2000-01-13
* Restructuration printer et parserGravatar herbelin2000-01-07
* Intégration du Termast et du Retyping de HH, et modifications connexesGravatar herbelin1999-12-01
* compilation des grammaires (ouf)Gravatar filliatr1999-09-08
* modules Ast et PcoqGravatar filliatr1999-09-08
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-30 01:19:21 +0000