| Commit message (Expand) | Author | Age |
|---|
| * | ocamlbuild: many improvements (macos 10.5 fix, correct dllpath, etc) |  letouzey | 2009-03-29 |
| * | Many changes in the Makefile infrastructure + a beginning of ocamlbuild | letouzey | 2009-03-20 |
| * | Directory 'contrib' renamed into 'plugins', to end confusion with archive of ... | letouzey | 2009-03-20 |
| * | Uniformizing Tacticals, continued (allClauses -> allHypsAndConcl) |  herbelin | 2009-03-17 |
| * | Cleaning/uniformizing the interface of tacticals.mli | herbelin | 2009-03-14 |
| * | On remplace evar_map par evar_defs (seul evar_defs est désormais exporté |  aspiwack | 2009-02-19 |
| * | #rectypes was already automatically added when using 3.11 | herbelin | 2009-02-17 |
| * | Made hack to have Drop and #use"include" working with ocaml 3.10 public | herbelin | 2009-02-17 |
| * | Document how FIND_VCS_CLAUSE has to be used |  lmamane | 2009-02-11 |
| * | - Structuring Numbers and fixing Setoid in stdlib's doc. | herbelin | 2009-01-19 |
| * | Completed 11745 (move of jprover to user contribs) and cleaned 11743 | herbelin | 2009-01-05 |
| * | - Added support for subterm matching in SearchAbout. | herbelin | 2008-12-29 |
| * | About "apply in": | herbelin | 2008-12-09 |
| * | Execute #rectypes directive in embedded OCaml toplevel... |  glondu | 2008-11-19 |
| * | - Ajout possibilité de lancer ocamldebug sur coqide | herbelin | 2008-11-07 |
| * | - Export de pattern_ident vers les ARGUMENT EXTEND and co. | herbelin | 2008-10-19 |
| * | Use $(COQTOPEXE) to refer to bin/coqtop in Makefiles | glondu | 2008-09-06 |
| * | Propagating commit 11343 from branch v8.2 to trunk (wish 1934 about | herbelin | 2008-09-02 |
| * | Évolutions diverses et variées. | herbelin | 2008-08-04 |
| * | Various bug fixes in type classes and subtac: |  msozeau | 2008-07-01 |
| * | MAJ diverses | herbelin | 2008-06-11 |
| * | - Patch sur "intros until 0" | herbelin | 2008-06-08 |
| * | - Extension de "generalize" en "generalize c as id at occs". | herbelin | 2008-06-08 |
| * | ajout d'un printer pour les contraintes d'univers + correction d'un bug sur l... |  soubiran | 2008-06-06 |
| * | Fix typos | lmamane | 2008-06-05 |
| * | - Correction bug highlighting "Module" dans Coqide | herbelin | 2008-05-28 |
| * | Mise en place d'un algorithme d'inversion des contraintes de type lors | herbelin | 2008-05-05 |
| * | Quelques éléments de réflexion | herbelin | 2008-05-03 |
| * | Correction du bug des types singletons pas sous-type de Set | herbelin | 2008-04-27 |
| * | - Add pretty-printers for Idpred, Cpred and transparent_state, used for | msozeau | 2008-04-24 |
| * | Prise en compte des coercions dans les clauses "with" même si le type | herbelin | 2008-04-23 |
| * | first-order --> firstorder (kills a warning about not being a valid id) | letouzey | 2008-04-16 |
| * | Diverses corrections | herbelin | 2008-04-14 |
| * | Bugs, nettoyage, et améliorations diverses | herbelin | 2008-04-13 |
| * | Chgts mineurs: | herbelin | 2008-04-03 |
| * | Hint for Debian users. | glondu | 2008-03-18 |
| * | Implement KEEP_ML4_PREPROCESSED option in build system | lmamane | 2008-02-13 |
| * | Implement NO_RECALC_DEPS option in build system | lmamane | 2008-02-13 |
| * | Add printer for Pp.std_ppcmds... | msozeau | 2008-02-08 |
| * | Amélioration de la génération des graphes de dépendances (utilisation de ... |  notin | 2008-01-11 |
| * | Prise en compte de CAMLP4LIB via fichier configure plutôt que dynamiquement | herbelin | 2008-01-04 |
| * | Merged revisions 10358-10362,10365,10371-10373,10377,10383-10384,10394-10395,... | msozeau | 2007-12-31 |
| * | Ocaml toplevel convenience. | glondu | 2007-12-07 |
| * | Plus de combinateurs sont passés de Util à Option. Le module Options | aspiwack | 2007-12-06 |
| * | MAJ | herbelin | 2007-10-29 |
| * | Allow a few build system optimisations/corner-cutting | lmamane | 2007-10-11 |
| * | add $COQTOP to the search path of ocamldebug | letouzey | 2007-10-08 |
| * | Ajout de eelim, ecase, edestruct et einduction (expérimental). | herbelin | 2007-10-03 |
| * | * Adding compability with ocaml 3.10 + camlp5 (rework of | letouzey | 2007-09-15 |
| * | - Débogueur: positionnement de set_detype_anonymous pour ne pas | herbelin | 2007-08-29 |
letouzey
herbelin
aspiwack
lmamane
glondu
msozeau
soubiran
notin