| Commit message (Expand) | Author | Age |
* | 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 |
* | clean revision and coqdep_boot, too | lmamane | 2009-03-26 |
* | 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 |
* | Makefile:clean: rm *-mod.ml | 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: ml dependencies of contribs are moved to .mllib files | letouzey | 2009-03-14 |
* | Heavy modifications on the widget and edition tab creation mechanism. | vgross | 2009-03-02 |
* | 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 | 2009-02-11 |
* | clean: revision is now called config/revision.ml | lmamane | 2009-02-11 |
* | Convert all uses of FIND_VCS_CLAUSE to recommended style | lmamane | 2009-02-11 |
* | 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 |
* | Take advantage of natdynlink when available: almost all contribs become loada... | letouzey | 2008-12-16 |
* | do not install coqchk cmi files | barras | 2008-12-11 |
* | Commit fixes from v8.2 branch (r11386 and r11387) | glondu | 2008-09-07 |
* | Generalize usage of $(FIND_VCS_CLAUSE) and add debian to it | glondu | 2008-09-07 |
* | Do not install csdpcert in $(BINDIR) | glondu | 2008-09-07 |
* | More cleaning | glondu | 2008-09-06 |
* | Use $(COQTOPEXE) to refer to bin/coqtop in Makefiles | glondu | 2008-09-06 |
* | Renaming parser -> coq-parser | glondu | 2008-08-18 |
* | Évolutions diverses et variées. | herbelin | 2008-08-04 |
* | Quelques amendements liées à la compilation des packages. | herbelin | 2008-06-01 |
* | Should fix the dependancy issue mentioned by J.Forest about NMake: | letouzey | 2008-05-22 |
* | Integration of theories/Ints into theories/Numbers, again : better generation... | letouzey | 2008-05-08 |