aboutsummaryrefslogtreecommitdiff
path: root/dev
AgeCommit message (Expand)Author
2006-06-10MAJ fichier dev/doc/changes.txtherbelin
2006-05-29Fix broken paths.msozeau
2006-05-26Added contrib/funind to the path for ocamldebug-coqcourtieu
2006-05-23Mise à jour dev/doc/changes.txt et ajout d'un mot sur TACTIC EXTENDherbelin
2006-05-23Restructuration dossier dev et mise à jour de certaines documentationsherbelin
2006-05-23PÃréouverture de la plupart des fichis pour éviter d'avoir à qualifierherbelin
2006-05-11Comments about profilingherbelin
2006-04-28Standardisation du nom des méthodes de Evdherbelin
2006-04-28Suppression des fichiers .cvsignore, rendus obsolètes par le systèmes des '...notin
2006-04-27Official MoWGLI definition of CIC dtdherbelin
2006-04-27Suppression de l'entrée devdoc dans le Makefile principal et modification en...notin
2006-03-17MAJ debugging (et arrêt support version française)herbelin
2006-03-06Deplacement du répertoire doc dans devnotin
2006-01-30Ajout ppenvherbelin
2006-01-30Plutôt pas de contraction des match dans le déboggueurherbelin
2006-01-29Ajout printer Idset.therbelin
2006-01-11Restructuration et simplification des fonctions d'affichage, de détypageherbelin
2006-01-04Restauration des commandes de débogage PrintConstr et PrintPureConstr (suite...herbelin
2006-01-04Affichage concis des locations (si jamais ppterm/pprawterm sont débranchés)herbelin
2006-01-04Remise en place des commandes vernaculaires PrintConstr et PrintPureConstr (d...herbelin
2005-12-28MAJherbelin
2005-12-28Analyse des tests automatiques de compilation des contributionsherbelin
2005-12-26Renommage des Pp*new en Pp* (et déplacement dans parsing); renommage des G_*...herbelin
2005-12-26Suppression des parseurs et printeurs v7; suppression du traducteur (mcanisme...herbelin
2005-12-23MAJ restructuration constrintern.mlherbelin
2005-12-02Changement des named_contextgregoire
2005-05-25Added subtac contrib.coq
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 14:27:39 +0000