| Age | Commit message (Expand) | Author |
|---|
| 2010-03-05 | Makefile: some more cleanup | letouzey |
| 2010-03-04 | Makefile: a nicer hack concerning ocamlopt with no .mli: -intf-suffix .cmi (t... | letouzey |
| 2010-03-04 | Makefile: cleanup of comments + a few words about recent changes in dev/doc/b... | letouzey |
| 2010-03-04 | Makefile: no more separate stages | letouzey |
| 2010-03-04 | Makefile: try to avoid rare make failures related with make -j + ocamlopt + .cmi | letouzey |
| 2010-03-04 | Makefile: cleanup of variables containing lists of files, such as MLFILES | letouzey |
| 2010-03-04 | Makefile: factorization of default rules for .cmi/.cmo/.cmx | letouzey |
| 2010-03-04 | Makefile: the .ml of .ml4 are now produced explicitely (in binary ast form) | letouzey |
| 2010-03-04 | Makefile: hide the trick ...||(RV=$$?;rm $@; exit $${RV}) under a macro $(TOT... | letouzey |
| 2010-02-25 | In the git-specific part of Makefile.build, call to hostname gave option | thutchin |
| 2010-02-18 | Polishing the setup of CoqIDE Input Method | vgross |
| 2010-02-16 | Makefile.build: avoid warning about undefined variable during make install | letouzey |
| 2010-02-16 | Makefile: also install the .cmi of plugins | letouzey |
| 2010-01-26 | make init + NMake.v/NMake_gen.v | notin |
| 2010-01-25 | NMake: several things need not be macro-generated | letouzey |
| 2010-01-14 | Disable validate | glondu |
| 2010-01-05 | use TIMECMD instead of TIME in makefile (unix cmd time reads its format in TIME) | letouzey |
| 2009-12-09 | Factorisation between Makefile and ocamlbuild systems : .vo to compile are in... | letouzey |
| 2009-12-02 | Remove interface plugin | glondu |
| 2009-10-06 | Fixed installation of Coqide interface/library files (bug #2147). | gmelquio |
| 2009-08-14 | Added profile.cmo in grammar.cma so that any functions in one of the | herbelin |
| 2009-08-01 | csdpcert + unix | fbesson |
| 2009-06-06 | Makefile made compatible with Solaris 10 (bug #2078, continued - see | herbelin |
| 2009-04-08 | Backport of Eric Le Lay's patch (bug report #2078) from v8.2 branch | herbelin |
| 2009-03-31 | Complementary fix to have ocamlopt_shared_os5fix.sh working correctly | herbelin |
| 2009-03-30 | Fix the fix script for ocamlopt -shared in MacOS 10.5 (remarks by Hugo) | letouzey |
| 2009-03-29 | ocamlbuild: many improvements (macos 10.5 fix, correct dllpath, etc) | letouzey |
| 2009-03-26 | bin/coq-{parser,interface}: use this coqtop, not the first in $PATH | lmamane |
| 2009-03-25 | make coqdep_boot in stage1, not stage2 | lmamane |
| 2009-03-20 | 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-18 | renamed %-mod.ml into %_mod.ml to avoid ocaml warning | barras |
| 2009-03-17 | - configure: affiche si le natdynlink est positionne | barras |
| 2009-03-16 | 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-14 | Better mechanism for loading initial plugins | letouzey |
| 2009-03-14 | Makefile: ml dependencies of contribs are moved to .mllib files | letouzey |
| 2009-03-11 | Cleanup: avoid the warning about Coq-tex not being a valid Ocaml module name | letouzey |
| 2009-03-09 | in natdynlink, lack of uniformity between general %.vo and Init/%.vo rules re... | barras |
| 2009-03-06 | fixed groebner as a plugin + pattern matching Timeout | barras |
| 2009-03-05 | ajout de la tactique groebner de Loic Pottier | barras |
| 2009-03-02 | porting r11900 11905 and 11953 to trunk | barras |
| 2009-02-20 | coq-interface and coq-parser can be calls to coqtop with adequate code dynlink | letouzey |
| 2009-02-16 | report de r11926: install de coqchk | barras |
| 2009-02-11 | 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 |
