aboutsummaryrefslogtreecommitdiffhomepage
path: root/toplevel/vernacentries.ml
Commit message (Expand)AuthorAge
* Achèvement nettoyage PfeditGravatar herbelin2000-05-05
* Nettoyage de l'interface de PfeditGravatar herbelin2000-05-04
* Retrait de PrintConstr vers top_printersGravatar delahaye2000-05-03
* Ajout du langage de tactiquesGravatar delahaye2000-05-03
* Nettoyage des fichiers de parsingGravatar herbelin2000-01-13
* Ajout de RecordGravatar herbelin2000-01-11
* Renommage command en constrGravatar herbelin2000-01-07
* bug : import -> export dans RequireGravatar filliatr1999-12-16
* Les inductifs dans Scheme doivent être des ident d'inductifsGravatar herbelin1999-12-15
* documentation interfacesGravatar filliatr1999-12-13
* modulesGravatar filliatr1999-12-12
* - erreurs PretypeGravatar filliatr1999-12-10
* debug resetGravatar filliatr1999-12-10
* debug discharge et inductifsGravatar filliatr1999-12-10
* premier debugageGravatar filliatr1999-12-05
* - coqmktopGravatar filliatr1999-12-03
* modules profile, Coqinit et Coqtop (=main)Gravatar filliatr1999-12-03
* - global_reference traite des variablesGravatar filliatr1999-12-03
* Modifs suite à intégration de class.mlGravatar herbelin1999-12-02
* modifs pour premiere edition de liensGravatar filliatr1999-12-02
* module CommandGravatar filliatr1999-12-02
* Intégration du Termast et du Retyping de HH, et modifications connexesGravatar herbelin1999-12-01
* module MetasyntaxGravatar filliatr1999-12-01
* portage Vernacentries (debut)Gravatar filliatr1999-12-01
* Vernacinterp et Vernacentries (partiellement)Gravatar filliatr1999-11-24
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-03 18:26:12 +0000