| Commit message (Expand) | Author | Age |
|---|
| * | Compilation via pack for plugins of the stdlib |  Pierre Letouzey | 2016-06-08 |
| * | Makefile.build split in many smaller files : Makefile.{ide,checker,dev,install} | Pierre Letouzey | 2016-06-08 |
| * | Makefile: make clean now removes the .coq-native subdirs | Pierre Letouzey | 2016-06-08 |
| * | Yet another Makefile reform : a unique phase without nasty make tricks | Pierre Letouzey | 2016-06-01 |
| * | Merge branch 'v8.5' |  Pierre-Marie Pédrot | 2015-08-22 |
| |\ |
|
| | * | Remove generatable documentation files from repository. (Fix bug #4315) |  Guillaume Melquiond | 2015-08-17 |
| * | | All invocations to ocaml compilers go through ocamlfind |  Pierre Boutillier | 2015-06-22 |
| |/ |
|
| * | Fix phony targets. (Fix for bug #4083) | Guillaume Melquiond | 2015-02-25 |
| * | Configure.ml creates metadata to annotate MacOS binaries | Pierre Boutillier | 2014-08-26 |
| * | A makefile rule to build bin/CoqIDE_$VERSION.app macOS bundle | Pierre Boutillier | 2014-07-22 |
| * | This commit adds full universe polymorphism and fast projections to Coq. |  Matthieu Sozeau | 2014-05-06 |
| * | Revert "Makefile: the initial build of grammar.cma is now directory-driven" | Pierre Letouzey | 2014-03-24 |
| * | Makefile: the initial build of grammar.cma is now directory-driven | Pierre Letouzey | 2014-03-02 |
| * | .*.aux erased by make distclean | Pierre Boutillier | 2014-02-28 |
| * | Makefile: re-introduce 2 phases to avoid make strange -include's | Pierre Letouzey | 2014-02-27 |
| * | Fixup make clean and .merlin | Pierre Boutillier | 2014-01-18 |
| * | Remove unused Makefile lines about .elc compilation | Pierre Letouzey | 2013-12-20 |
| * | coqc and coqmktop migrated in tools/, get rid of scripts/ subdir |  letouzey | 2013-04-18 |
| * | New implementation of the conversion test, using normalization by evaluation to |  mdenes | 2013-01-22 |
| * | Remove broken makefile option NO_RECOMPILE_LIB | letouzey | 2012-09-20 |
| * | 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-08-23 |
| * | Makefile: avoid too much exported vars (for win32) | letouzey | 2012-05-29 |
| * | Configure asks for lablgtk >= 2.12 with gtksourceview2 |  pboutill | 2012-04-27 |
| * | make otags only relies on otags | pboutill | 2012-04-12 |
| * | lib directory is cut in 2 cma. | pboutill | 2012-04-12 |
| * | Makefile: fix make distclean w.r.t. test-suite | letouzey | 2012-01-17 |
| * | fake_ide: a short program to mimic an ide talking to coqtop -ideslave | letouzey | 2011-09-05 |
| * | Add "make full-stdlib" to make all the doc in pdf as ask by bug 2395 | pboutill | 2011-04-08 |
| * | Add a test for sorting all universes of stdlib |  glondu | 2011-01-25 |
| * | files introduce in commit 13401 aren't erased anymore by 'make clean' | pboutill | 2010-09-10 |
| * | Ajout d'une feuille de style pour les définitions spécifiques à Hevea + di... |  notin | 2010-06-23 |
| * | Fix test-suite cleaning | glondu | 2010-06-02 |
| * | "make source-doc" builds documentation of mli in html and pdf at | pboutill | 2010-04-29 |
| * | Remove the svn-specific $Id$ annotations | letouzey | 2010-04-29 |
| * | Makefile: some more cleanup | letouzey | 2010-03-05 |
| * | 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-03-04 |
| * | Slight reorganisation of make clean, new entry cleankeepvo | letouzey | 2010-02-26 |
| * | Remove bashisms | glondu | 2010-01-28 |
| * | make init + NMake.v/NMake_gen.v | notin | 2010-01-26 |
| * | Remove interface plugin | glondu | 2009-12-02 |
| * | Applied patches from BSD/pkgsrc maintainer, so that Coq compiles out-of-the-box. |  gmelquio | 2009-09-28 |
| * | Update link to "Recursive Make Considered Harmful" | glondu | 2009-09-21 |
| * | Backport of Eric Le Lay's patch (bug report #2078) from v8.2 branch |  herbelin | 2009-04-08 |
| * | Makefile: ocamlbuild's _build is not traversed by find, and removed by make c... | letouzey | 2009-04-03 |
| * | Committed patch sent by Samuel Bronson on Mar 14 2009 to take care of | herbelin | 2009-03-31 |
Pierre Letouzey
Pierre-Marie Pédrot
Guillaume Melquiond
Pierre Boutillier
Matthieu Sozeau
letouzey
mdenes
pboutill
glondu
notin
gmelquio
herbelin