aboutsummaryrefslogtreecommitdiff
path: root/dev
AgeCommit message (Expand)Author
2007-05-21MAJherbelin
2007-04-29Quelques exemples sur l'asymétrie de la conversionherbelin
2007-04-28Ajout de la possibilité d'utiliser les evars dans apply_in et elim_in.herbelin
2007-04-18- Correction d'un bug de make_clenv_binding_apply révélé par le commit 9771herbelin
2007-04-17 Rajout du mot Fix dans le printervsiles
2007-04-17Retablissement de Fix dans print_pure_constr vsiles
2007-01-22Allègement de l'affichage des références par le printer si possibleherbelin
2007-01-19Export de l'afficheur de substitutions de noms de modules pour le débogueurherbelin
2006-11-19MAJherbelin
2006-10-30MAJherbelin
2006-10-13Simplification ocamldebug (coq-debug-programs.out obsolète)herbelin
2006-09-29Reactivation des outils de developpement de Jacekherbelin
2006-09-26mise a jour du nouveau ring et ajout du nouveau field, avant renommagesbarras
2006-09-22Tout petit bug d'affichage dans constr_display (top_printers)herbelin
2006-07-22- Ajout d'un cast vm dans la syntaxe : x <: t bgregoir
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 21:12:13 +0000