aboutsummaryrefslogtreecommitdiff
path: root/parsing
AgeCommit message (Expand)Author
1999-12-01 - environment -> safe_environmentfilliatr
1999-12-01 - Typing -> Safe_typingfilliatr
1999-11-29commentaires supprimmésfilliatr
1999-11-29portage Astterm (partiellement)filliatr
1999-11-26Modification pour faire compiler pretyping.ml qui maintenant compileherbelin
1999-11-26module Classops; ajout de fonctions dans Declare en consequencefilliatr
1999-11-26module Pretty (partiellement)filliatr
1999-11-26module Termastfilliatr
1999-11-26module Printerfilliatr
1999-11-26module Esyntaxfilliatr
1999-11-26module Extendfilliatr
1999-11-24MAJ pour fusion avec pretypingherbelin
1999-11-24Version initialeherbelin
1999-10-22 - module Redinfo dans library/ pour les constantes d'éliminationfilliatr
1999-10-20 - documentation repertoire proofs/filliatr
1999-10-13organisation de trad (entre parsing/ et pretyping/)filliatr
1999-09-27report d'une correction de Brunofilliatr
1999-09-10affichage des erreurs de typage dans minicoqfilliatr
1999-09-08compilation des grammaires (ouf)filliatr
1999-09-08modules grammaire Coqfilliatr
1999-09-08modules Ast et Pcoqfilliatr
1999-09-08minicoq: pretty-print applications; ambiguite grammaire supprimee; Ind, Const...filliatr
1999-09-08fichiers camlp4 avec suffix .ml4filliatr
1999-09-07pretty-print A->Bfilliatr
1999-09-07 - minicoq : definition inductifs; syntaxe a->bfilliatr
1999-09-07mise en place commandes minicoqfilliatr
1999-09-07(debut) de grammaire minicoqfilliatr
1999-09-07mise en place grammaire minicoqfilliatr
1999-09-06debut d'un lexerfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-23 08:01:20 +0000