| Commit message (Expand) | Author | Age |
|---|
| * | Fixed installation of Coqide interface/library files (bug #2147). |  gmelquio | 2009-10-06 |
| * | Added profile.cmo in grammar.cma so that any functions in one of the |  herbelin | 2009-08-14 |
| * | csdpcert + unix |  fbesson | 2009-08-01 |
| * | Makefile made compatible with Solaris 10 (bug #2078, continued - see | herbelin | 2009-06-06 |
| * | Backport of Eric Le Lay's patch (bug report #2078) from v8.2 branch | herbelin | 2009-04-08 |
| * | Complementary fix to have ocamlopt_shared_os5fix.sh working correctly | herbelin | 2009-03-31 |
| * | Fix the fix script for ocamlopt -shared in MacOS 10.5 (remarks by Hugo) |  letouzey | 2009-03-30 |
| * | ocamlbuild: many improvements (macos 10.5 fix, correct dllpath, etc) | letouzey | 2009-03-29 |
| * | bin/coq-{parser,interface}: use this coqtop, not the first in $PATH |  lmamane | 2009-03-26 |
| * | make coqdep_boot in stage1, not stage2 | lmamane | 2009-03-25 |
| * | Many changes in the Makefile infrastructure + a beginning of ocamlbuild | letouzey | 2009-03-20 |
| * | Makefile: avoid $(ML4FILES:.ml4=.ml) since this is $(ML4FILESML) | letouzey | 2009-03-20 |
| * | Compatibility with Apple's non-gnu sed. |  msozeau | 2009-03-20 |
| * | Directory 'contrib' renamed into 'plugins', to end confusion with archive of ... | letouzey | 2009-03-20 |
| * | renamed %-mod.ml into %_mod.ml to avoid ocaml warning |  barras | 2009-03-18 |
| * | - configure: affiche si le natdynlink est positionne | barras | 2009-03-17 |
| * | coqdep_boot: a specialized and dependency-free coqdep for killing one of the ... | letouzey | 2009-03-16 |
| * | Makefile: fix ignored errors, several attempts to clarify things | letouzey | 2009-03-16 |
| * | Makefile: minor improvements | letouzey | 2009-03-16 |
| * | Better mechanism for loading initial plugins | letouzey | 2009-03-14 |
| * | Makefile: ml dependencies of contribs are moved to .mllib files | letouzey | 2009-03-14 |
| * | Cleanup: avoid the warning about Coq-tex not being a valid Ocaml module name | letouzey | 2009-03-11 |
| * | in natdynlink, lack of uniformity between general %.vo and Init/%.vo rules re... | barras | 2009-03-09 |
| * | fixed groebner as a plugin + pattern matching Timeout | barras | 2009-03-06 |
| * | ajout de la tactique groebner de Loic Pottier | barras | 2009-03-05 |
| * | porting r11900 11905 and 11953 to trunk | barras | 2009-03-02 |
| * | coq-interface and coq-parser can be calls to coqtop with adequate code dynlink | letouzey | 2009-02-20 |
| * | report de r11926: install de coqchk | barras | 2009-02-16 |
| * | Backport of 11890 from branch v8.2 (compile tools with the best | herbelin | 2009-02-11 |
| * | Fix de divers petits problèmes d'installation |  notin | 2009-02-11 |
| * | Report des revisions #11826, #11828 et #11829 de v8.2 vers trunk | notin | 2009-02-11 |
| * | Add -coqtoolsbyteflags and -custom to ./configure... |  glondu | 2009-02-11 |
| * | config/revision.ml, git: handle case when not at tip of a branch | lmamane | 2009-02-11 |
| * | Convert all uses of FIND_VCS_CLAUSE to recommended style | lmamane | 2009-02-11 |
| * | Fix the installation of plugins (both initial and late ones) | letouzey | 2009-02-03 |
| * | Remplacement de cp --parents par un script sh | notin | 2009-01-22 |
| * | - Fixing bug 1891 (abusive instantiations of evar arguments in | herbelin | 2009-01-20 |
| * | Cette version là fonctionne correctement au moins pour certaines |  aspiwack | 2009-01-20 |
| * | More fixes... | aspiwack | 2009-01-20 |
| * | Un fix sur le commit précédent. | aspiwack | 2009-01-20 |
| * | Patch de l'installation: | aspiwack | 2009-01-20 |
| * | Workaround to compile the coq archive with dynamic loading on Mac OS 10.5 | herbelin | 2009-01-13 |
| * | - Deactivation of dynamic loading on Mac OS 10.5 (see bug #2024). | herbelin | 2009-01-11 |
| * | - Fixed the recompilation of config/revision.ml once every two conmpilations. | herbelin | 2009-01-10 |
| * | Fix build for git users | glondu | 2009-01-07 |
| * | Suite de la révision #11756 | notin | 2009-01-07 |
| * | Conversion du fichier 'revision' en un fichier .ml + correction d'un bug dans... | notin | 2009-01-06 |
| * | Installation des librairies: on utilise maintenant LINKCMO au lieu de | notin | 2009-01-06 |
| * | Moved JProver to a user contribution (as was decided a long time ago) | herbelin | 2009-01-04 |
| * | - coq_makefile: target install now respects the original tree structure | herbelin | 2008-12-24 |
gmelquio
herbelin
fbesson
letouzey
lmamane
msozeau
barras
notin
glondu
aspiwack