aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev
Commit message (Expand)AuthorAge
* Propagating commit 11343 from branch v8.2 to trunk (wish 1934 aboutGravatar herbelin2008-09-02
* Évolutions diverses et variées.Gravatar herbelin2008-08-04
* Various bug fixes in type classes and subtac:Gravatar msozeau2008-07-01
* MAJ diversesGravatar herbelin2008-06-11
* - Patch sur "intros until 0"Gravatar herbelin2008-06-08
* - Extension de "generalize" en "generalize c as id at occs".Gravatar herbelin2008-06-08
* ajout d'un printer pour les contraintes d'univers + correction d'un bug sur l...Gravatar soubiran2008-06-06
* Fix typosGravatar lmamane2008-06-05
* - Correction bug highlighting "Module" dans CoqideGravatar herbelin2008-05-28
* Mise en place d'un algorithme d'inversion des contraintes de type lorsGravatar herbelin2008-05-05
* Quelques éléments de réflexionGravatar herbelin2008-05-03
* Correction du bug des types singletons pas sous-type de SetGravatar herbelin2008-04-27
* - Add pretty-printers for Idpred, Cpred and transparent_state, used forGravatar msozeau2008-04-24
* Prise en compte des coercions dans les clauses "with" même si le typeGravatar herbelin2008-04-23
* first-order --> firstorder (kills a warning about not being a valid id)Gravatar letouzey2008-04-16
* Diverses corrections Gravatar herbelin2008-04-14
* Bugs, nettoyage, et améliorations diversesGravatar herbelin2008-04-13
* Chgts mineurs:Gravatar herbelin2008-04-03
* Hint for Debian users.Gravatar glondu2008-03-18
* Implement KEEP_ML4_PREPROCESSED option in build systemGravatar lmamane2008-02-13
* Implement NO_RECALC_DEPS option in build systemGravatar lmamane2008-02-13
* Add printer for Pp.std_ppcmds...Gravatar msozeau2008-02-08
* Amélioration de la génération des graphes de dépendances (utilisation de ...Gravatar notin2008-01-11
* Prise en compte de CAMLP4LIB via fichier configure plutôt que dynamiquementGravatar herbelin2008-01-04
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-30 05:08:56 +0000