aboutsummaryrefslogtreecommitdiffhomepage
path: root/toplevel/command.mli
Commit message (Expand)AuthorAge
* Prise en compte des noms longs dans les Hints et les Coercions, et réorganis...Gravatar herbelin2001-01-24
* Réorganisation suite ajout de constantes locales dans les RecordsGravatar herbelin2001-01-24
* Ajout du Let pour le langage de tactiquesGravatar delahaye2000-12-29
* Découpage des différentes fonctionnalités de build_mutual et definition_st...Gravatar herbelin2000-12-19
* syntaxe AST Inversion + commentaires ocamlweb autour de $Gravatar filliatr2000-12-12
* Distinction local/globalGravatar herbelin2000-11-27
* Renommage canonique :Gravatar herbelin2000-10-18
* Déplacement de save_thm and co de PFedit vers CommandGravatar herbelin2000-05-25
* export get_current_contextGravatar herbelin2000-05-18
* Nettoyage de l'interface de PfeditGravatar herbelin2000-05-04
* Nettoyage des fichiers de parsingGravatar herbelin2000-01-13
* Les inductifs dans Scheme doivent être des ident d'inductifsGravatar herbelin1999-12-15
* documentation interfacesGravatar filliatr1999-12-13
* modifs pour premiere edition de liensGravatar filliatr1999-12-02
* module CommandGravatar filliatr1999-12-02
* module MetasyntaxGravatar filliatr1999-12-01
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-20 06:32:52 +0000