aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev
Commit message (Expand)AuthorAge
...
* Merged revisions 10358-10362,10365,10371-10373,10377,10383-10384,10394-10395,...Gravatar msozeau2007-12-31
* Ocaml toplevel convenience.Gravatar glondu2007-12-07
* Plus de combinateurs sont passés de Util à Option. Le module Options Gravatar aspiwack2007-12-06
* MAJGravatar herbelin2007-10-29
* Allow a few build system optimisations/corner-cuttingGravatar lmamane2007-10-11
* add $COQTOP to the search path of ocamldebugGravatar letouzey2007-10-08
* Ajout de eelim, ecase, edestruct et einduction (expérimental).Gravatar herbelin2007-10-03
* * Adding compability with ocaml 3.10 + camlp5 (rework of Gravatar letouzey2007-09-15
* - Débogueur: positionnement de set_detype_anonymous pour ne pasGravatar herbelin2007-08-29
* - Correction bug dans syntaxe des match (liste de motifs vide était acceptée)Gravatar herbelin2007-08-22
* Add glob.dump to Makefile the recommended way and document theGravatar lmamane2007-07-25
* Reorganise cleaning targetsGravatar lmamane2007-07-16
* A cleaner solution to "make deletes .ml4.d files -> infinite loop" problemGravatar lmamane2007-07-16
* New bootstrapping, improved, Makefile systemGravatar corbinea2007-07-13
* MAJGravatar herbelin2007-05-21
* Quelques exemples sur l'asymétrie de la conversionGravatar herbelin2007-04-29
* Ajout de la possibilité d'utiliser les evars dans apply_in et elim_in.Gravatar herbelin2007-04-28
* - Correction d'un bug de make_clenv_binding_apply révélé par le commit 9771Gravatar herbelin2007-04-18
* Rajout du mot Fix dans le printerGravatar vsiles2007-04-17
* Retablissement de Fix dans print_pure_constr Gravatar vsiles2007-04-17
* Allègement de l'affichage des références par le printer si possibleGravatar herbelin2007-01-22
* Export de l'afficheur de substitutions de noms de modules pour le débogueurGravatar herbelin2007-01-19
* MAJGravatar herbelin2006-11-19
* MAJGravatar herbelin2006-10-30
* Simplification ocamldebug (coq-debug-programs.out obsolète)Gravatar herbelin2006-10-13
* Reactivation des outils de developpement de JacekGravatar herbelin2006-09-29
* mise a jour du nouveau ring et ajout du nouveau field, avant renommagesGravatar barras2006-09-26
* Tout petit bug d'affichage dans constr_display (top_printers)Gravatar herbelin2006-09-22
* - Ajout d'un cast vm dans la syntaxe : x <: t Gravatar bgregoir2006-07-22
* MAJ fichier dev/doc/changes.txtGravatar herbelin2006-06-10
* Fix broken paths.Gravatar msozeau2006-05-29
* Added contrib/funind to the path for ocamldebug-coqGravatar courtieu2006-05-26
* Mise à jour dev/doc/changes.txt et ajout d'un mot sur TACTIC EXTENDGravatar herbelin2006-05-23
* Restructuration dossier dev et mise à jour de certaines documentationsGravatar herbelin2006-05-23
* PÃréouverture de la plupart des fichis pour éviter d'avoir à qualifierGravatar herbelin2006-05-23
* Comments about profilingGravatar herbelin2006-05-11
* Standardisation du nom des méthodes de EvdGravatar herbelin2006-04-28
* Suppression des fichiers .cvsignore, rendus obsolètes par le systèmes des '...Gravatar notin2006-04-28
* Official MoWGLI definition of CIC dtdGravatar herbelin2006-04-27
* Suppression de l'entrée devdoc dans le Makefile principal et modification en...Gravatar notin2006-04-27
* MAJ debugging (et arrêt support version française)Gravatar herbelin2006-03-17
* Deplacement du répertoire doc dans devGravatar notin2006-03-06
* Ajout ppenvGravatar herbelin2006-01-30
* Plutôt pas de contraction des match dans le déboggueurGravatar herbelin2006-01-30
* Ajout printer Idset.tGravatar herbelin2006-01-29
* 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