aboutsummaryrefslogtreecommitdiff
path: root/dev
AgeCommit message (Expand)Author
2005-02-18Ajout constant printerherbelin
2005-02-18Added bigint printerherbelin
2005-01-02Réactivation d'un outil d'affichage pour le débogueur compatible avec ocaml...herbelin
2005-01-02Découpage des printers pour ne pas avoir de dépendances en la vm dans les p...herbelin
2004-12-31Remplacement ocamldebug-v7 par lien symbolique ne marche pas, finalement, crÃ...herbelin
2004-12-31Remplacement ocamldebug-v7 par ocamldebug-coq (2ème)herbelin
2004-12-29Ajout printer bigintherbelin
2004-12-23MAJ coq v8herbelin
2004-12-23MAJ coq v8herbelin
2004-12-23Renommage de ocamldebug-v7 en ocamldebug-coq (pour passage à la v8)herbelin
2004-12-23Renommage de ocamldebug-v7 en ocamldebug-coq (pour passage à la v8herbelin
2004-11-16IMPORTANT COMMIT: constant is now an ADT (it used to be equal to kernel_name).sacerdot
2004-11-12Changement dans les boxed values .gregoire
2004-10-20COMMITED BYTECODE COMPILERbarras
2004-09-17restructuration des printers: proofs passe avant parsingbarras
2004-09-15hiding the meta_map in evar_defsbarras
2004-09-08unification encore...barras
2004-08-03Header V8herbelin
2004-07-16Nouvelle en-têteherbelin
2004-03-15Ajout affichage contexte localherbelin
2004-02-23Generating of annotations added to Makefile.dircoq
2003-12-13MAJherbelin
2003-12-13MAJherbelin
2003-10-07Correction du bug 335 et Export/Require Export dans un modulecoq
2003-09-22MAJherbelin
2003-09-12Diversherbelin
2003-09-09MAJherbelin
2003-09-06MAJherbelin
2003-09-03*** empty log message ***herbelin
2003-08-11Mémo nouvelle syntaxeherbelin
2003-04-16prettyprint des constr_substituted + un wrapping de prglobal pour qu'il n'ech...letouzey
2003-04-07Ajout translateherbelin
2003-04-07Globalisation tactiquesherbelin
2003-04-07Options d'affichage maintenant dans Constrexternherbelin
2003-03-18Ajout translateherbelin
2003-03-07Petites modifs de mes super-Makefiles ;)coq
2003-01-19Ajout pptacherbelin
2002-12-05Ajout affichage fconstrherbelin
2002-11-24Ajout interpherbelin
2002-11-14Réforme de l'interprétation des termes :herbelin
2002-11-04ajout d'un printer pour les global_referenceletouzey
2002-10-05Lazy experimentale temporaire...coq
2002-10-01Cool dev/Makefile'scoq
2002-09-20La notation with dependante + affichage dependante de moduels corrigecoq
2002-09-13Ajout contribs manquantesherbelin
2002-08-19Pretty-printing preliminaire des modules, commandescoq
2002-08-13AutoRewrite substitutive...coq
2002-08-13Petites corrections ici et lacoq
2002-08-02Modules dans COQ\!\!\!\!coq
2002-06-14*** empty log message ***herbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 18:00:24 +0000