| Age | Commit message (Expand) | Author |
|---|
| 2014-05-06 | This commit adds full universe polymorphism and fast projections to Coq. | Matthieu Sozeau |
| 2014-03-24 | Revert "Makefile: the initial build of grammar.cma is now directory-driven" | Pierre Letouzey |
| 2014-03-02 | Makefile: the initial build of grammar.cma is now directory-driven | Pierre Letouzey |
| 2014-02-28 | .*.aux erased by make distclean | Pierre Boutillier |
| 2014-02-27 | Makefile: re-introduce 2 phases to avoid make strange -include's | Pierre Letouzey |
| 2014-01-18 | Fixup make clean and .merlin | Pierre Boutillier |
| 2013-12-20 | Remove unused Makefile lines about .elc compilation | Pierre Letouzey |
| 2013-04-18 | coqc and coqmktop migrated in tools/, get rid of scripts/ subdir | letouzey |
| 2013-01-22 | New implementation of the conversion test, using normalization by evaluation to | mdenes |
| 2012-09-20 | Remove broken makefile option NO_RECOMPILE_LIB | letouzey |
| 2012-08-23 | No more states/initial.coq, instead coqtop now requires Prelude.vo | letouzey |
| 2012-08-23 | No more coqtop.opt, produce directly a coqtop binary | letouzey |
| 2012-05-29 | Makefile: avoid too much exported vars (for win32) | letouzey |
| 2012-04-27 | Configure asks for lablgtk >= 2.12 with gtksourceview2 | pboutill |
| 2012-04-12 | make otags only relies on otags | pboutill |
| 2012-04-12 | lib directory is cut in 2 cma. | pboutill |
| 2012-01-17 | Makefile: fix make distclean w.r.t. test-suite | letouzey |
| 2011-09-05 | fake_ide: a short program to mimic an ide talking to coqtop -ideslave | letouzey |
| 2011-04-08 | Add "make full-stdlib" to make all the doc in pdf as ask by bug 2395 | pboutill |
| 2011-01-25 | Add a test for sorting all universes of stdlib | glondu |
| 2010-09-10 | files introduce in commit 13401 aren't erased anymore by 'make clean' | pboutill |
| 2010-06-23 | Ajout d'une feuille de style pour les définitions spécifiques à Hevea + di... | notin |
| 2010-06-02 | Fix test-suite cleaning | glondu |
| 2010-04-29 | "make source-doc" builds documentation of mli in html and pdf at | pboutill |
| 2010-04-29 | Remove the svn-specific $Id$ annotations | letouzey |
| 2010-03-05 | Makefile: some more cleanup | 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: cleanup of variables containing lists of files, such as MLFILES | letouzey |
| 2010-03-04 | Makefile: make devdocclean was not removing *.dep.ps, btw let's remove *.dep.... | letouzey |
| 2010-03-04 | Makefile: the .ml of .ml4 are now produced explicitely (in binary ast form) | letouzey |
| 2010-02-26 | Slight reorganisation of make clean, new entry cleankeepvo | letouzey |
| 2010-01-28 | Remove bashisms | glondu |
| 2010-01-26 | make init + NMake.v/NMake_gen.v | notin |
| 2009-12-02 | Remove interface plugin | glondu |
| 2009-09-28 | Applied patches from BSD/pkgsrc maintainer, so that Coq compiles out-of-the-box. | gmelquio |
| 2009-09-21 | Update link to "Recursive Make Considered Harmful" | glondu |
| 2009-04-08 | Backport of Eric Le Lay's patch (bug report #2078) from v8.2 branch | herbelin |
| 2009-04-03 | Makefile: ocamlbuild's _build is not traversed by find, and removed by make c... | letouzey |
| 2009-03-31 | Committed patch sent by Samuel Bronson on Mar 14 2009 to take care of | herbelin |
| 2009-03-26 | clean revision and coqdep_boot, too | lmamane |
| 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 | Makefile:clean: rm *-mod.ml | 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-14 | Makefile: ml dependencies of contribs are moved to .mllib files | letouzey |
| 2009-03-02 | Heavy modifications on the widget and edition tab creation mechanism. | vgross |
| 2009-02-11 | Report des revisions #11826, #11828 et #11829 de v8.2 vers trunk | notin |
| 2009-02-11 | Document how FIND_VCS_CLAUSE has to be used | lmamane |
