aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/top_printers.ml
Commit message (Expand)AuthorAge
* Découpage des printers pour ne pas avoir de dépendances en la vm dans les p...Gravatar herbelin2005-01-02
* Ajout printer bigintGravatar herbelin2004-12-29
* IMPORTANT COMMIT: constant is now an ADT (it used to be equal to kernel_name).Gravatar sacerdot2004-11-16
* Changement dans les boxed values .Gravatar gregoire2004-11-12
* COMMITED BYTECODE COMPILERGravatar barras2004-10-20
* restructuration des printers: proofs passe avant parsingGravatar barras2004-09-17
* hiding the meta_map in evar_defsGravatar barras2004-09-15
* unification encore...Gravatar barras2004-09-08
* Nouvelle en-têteGravatar herbelin2004-07-16
* Ajout affichage contexte localGravatar herbelin2004-03-15
* prettyprint des constr_substituted + un wrapping de prglobal pour qu'il n'ech...Gravatar letouzey2003-04-16
* Globalisation tactiquesGravatar herbelin2003-04-07
* Options d'affichage maintenant dans ConstrexternGravatar herbelin2003-04-07
* Ajout affichage fconstrGravatar herbelin2002-12-05
* Réforme de l'interprétation des termes :Gravatar herbelin2002-11-14
* ajout d'un printer pour les global_referenceGravatar letouzey2002-11-04
* Pretty-printing preliminaire des modules, commandesGravatar coq2002-08-19
* Petites corrections ici et laGravatar coq2002-08-13
* Modules dans COQ\!\!\!\!Gravatar coq2002-08-02
* Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...Gravatar herbelin2002-05-29
* Changé le nom du module Errors (errors.mli, errors.ml) en Cerrors parceGravatar ddr2002-02-20
* suppression du retour chariot a la fin de print_pure_constrGravatar barras2002-02-07
* compat ocaml 3.03Gravatar filliatr2001-12-13
* Suppression des local_constraints, des ctxtty et du focus.Gravatar clrenard2001-11-06
* GROS COMMIT:Gravatar barras2001-11-05
* Abstraction de l'immplementation de dirpath et implementation dans l'autre se...Gravatar herbelin2001-10-17
* Suppression des arguments sur les constantes, inductifs et constructeursGravatar barras2001-10-09
* Ajout du printer de tactiques + modif du Dynamic ocamlGravatar delahaye2001-09-30
* ParsingGravatar herbelin2001-08-10
* ajout d'un afficher de contexte et d'une fonction constbody_of_stringGravatar letouzey2001-05-10
* Changement de la structure des points fixesGravatar barras2001-05-03
* entetesGravatar filliatr2001-03-15
* module Explore générique et réécriture EAuto avec ce module; occur check ...Gravatar filliatr2001-03-05
* Déplacement de qualid dans Nametab, hors du noyauGravatar herbelin2001-03-01
* Déplacement de qualid dans Nametab, hors du noyauGravatar herbelin2001-03-01
* nouvelle implantation de la reductionGravatar barras2001-03-01
* PrinterGravatar mohring2000-12-15
* Bug sur commit précédentGravatar herbelin2000-12-14
* Enfin trouvé la cause d'exception; suppression de la capsule de rattrapageGravatar herbelin2000-12-14
* Prise en compte qualidGravatar herbelin2000-11-26
* Gros hack pour afficher les universGravatar herbelin2000-11-11
* suppression des (* open Generic *)Gravatar filliatr2000-11-02
* MAJGravatar herbelin2000-10-23
* MAJGravatar herbelin2000-10-18
* MAJ pr_uniGravatar herbelin2000-10-06
* Renommage AppL en AppGravatar herbelin2000-10-01
* MAJGravatar herbelin2000-10-01
* MAJGravatar herbelin2000-09-14
* MAJGravatar herbelin2000-09-12
* Ajout d'un LetIn primitif.Gravatar herbelin2000-09-10
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-01 00:42:07 +0000