aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev
Commit message (Expand)AuthorAge
* Restructuration et simplification des fonctions d'affichage, de détypageGravatar herbelin2006-01-11
* Restauration des commandes de débogage PrintConstr et PrintPureConstr (suite...Gravatar herbelin2006-01-04
* Affichage concis des locations (si jamais ppterm/pprawterm sont débranchés)Gravatar herbelin2006-01-04
* Remise en place des commandes vernaculaires PrintConstr et PrintPureConstr (d...Gravatar herbelin2006-01-04
* MAJGravatar herbelin2005-12-28
* Analyse des tests automatiques de compilation des contributionsGravatar herbelin2005-12-28
* Renommage des Pp*new en Pp* (et déplacement dans parsing); renommage des G_*...Gravatar herbelin2005-12-26
* Suppression des parseurs et printeurs v7; suppression du traducteur (mcanisme...Gravatar herbelin2005-12-26
* MAJ restructuration constrintern.mlGravatar herbelin2005-12-23
* Changement des named_contextGravatar gregoire2005-12-02
* Added subtac contrib.Gravatar coq2005-05-25
* Ajout constant printerGravatar herbelin2005-02-18
* Added bigint printerGravatar herbelin2005-02-18
* Réactivation d'un outil d'affichage pour le débogueur compatible avec ocaml...Gravatar herbelin2005-01-02
* Découpage des printers pour ne pas avoir de dépendances en la vm dans les p...Gravatar herbelin2005-01-02
* Remplacement ocamldebug-v7 par lien symbolique ne marche pas, finalement, crÃ...Gravatar herbelin2004-12-31
* Remplacement ocamldebug-v7 par ocamldebug-coq (2ème)Gravatar herbelin2004-12-31
* Ajout printer bigintGravatar herbelin2004-12-29
* MAJ coq v8Gravatar herbelin2004-12-23
* MAJ coq v8Gravatar herbelin2004-12-23
* Renommage de ocamldebug-v7 en ocamldebug-coq (pour passage à la v8)Gravatar herbelin2004-12-23
* Renommage de ocamldebug-v7 en ocamldebug-coq (pour passage à la v8Gravatar herbelin2004-12-23
* 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
* Header V8Gravatar herbelin2004-08-03
* Nouvelle en-têteGravatar herbelin2004-07-16
* Ajout affichage contexte localGravatar herbelin2004-03-15
* Generating of annotations added to Makefile.dirGravatar coq2004-02-23
* MAJGravatar herbelin2003-12-13
* MAJGravatar herbelin2003-12-13
* Correction du bug 335 et Export/Require Export dans un moduleGravatar coq2003-10-07
* MAJGravatar herbelin2003-09-22
* DiversGravatar herbelin2003-09-12
* MAJGravatar herbelin2003-09-09
* MAJGravatar herbelin2003-09-06
* *** empty log message ***Gravatar herbelin2003-09-03
* Mémo nouvelle syntaxeGravatar herbelin2003-08-11
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-02 21:59:46 +0000