aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev
Commit message (Expand)AuthorAge
* prettyprint des constr_substituted + un wrapping de prglobal pour qu'il n'ech...Gravatar letouzey2003-04-16
* Ajout translateGravatar herbelin2003-04-07
* Globalisation tactiquesGravatar herbelin2003-04-07
* Options d'affichage maintenant dans ConstrexternGravatar herbelin2003-04-07
* Ajout translateGravatar herbelin2003-03-18
* Petites modifs de mes super-Makefiles ;)Gravatar coq2003-03-07
* Ajout pptacGravatar herbelin2003-01-19
* Ajout affichage fconstrGravatar herbelin2002-12-05
* Ajout interpGravatar herbelin2002-11-24
* Réforme de l'interprétation des termes :Gravatar herbelin2002-11-14
* ajout d'un printer pour les global_referenceGravatar letouzey2002-11-04
* Lazy experimentale temporaire...Gravatar coq2002-10-05
* Cool dev/Makefile'sGravatar coq2002-10-01
* La notation with dependante + affichage dependante de moduels corrigeGravatar coq2002-09-20
* Ajout contribs manquantesGravatar herbelin2002-09-13
* Pretty-printing preliminaire des modules, commandesGravatar coq2002-08-19
* AutoRewrite substitutive...Gravatar coq2002-08-13
* Petites corrections ici et laGravatar coq2002-08-13
* Modules dans COQ\!\!\!\!Gravatar coq2002-08-02
* *** empty log message ***Gravatar herbelin2002-06-14
* 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
* petits changements cosmetiques sur les tactiquesGravatar barras2002-02-15
* suppression du retour chariot a la fin de print_pure_constrGravatar barras2002-02-07
* MAJGravatar herbelin2002-01-07
* Pour les développeurs extérieursGravatar herbelin2001-12-19
* RéorganisationGravatar herbelin2001-12-19
* Pour les développeurs extérieursGravatar herbelin2001-12-19
* MAJ V7.2Gravatar herbelin2001-12-19
* 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
* correction d'un bug de Correctness (pour Y Bertot)Gravatar filliatr2001-06-27
* Retablissement de minicoqGravatar coq2001-05-29
* Facilites pour le debogguage des univers.Gravatar coq2001-05-29
* amelioration des messages d'erreurs vis a vis des evarsGravatar barras2001-05-23
* Modification pour passage p-automatesGravatar mohring2001-05-15
* 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
* Make sure that the COQTOP variable is really used, when it is set.Gravatar bertot2001-04-03
* entetesGravatar filliatr2001-03-15
* modifs pour extraction; bug coqmktopGravatar filliatr2001-03-06
* 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