| Age | Commit message (Expand) | Author |
|---|
| 2008-05-08 | Integration of theories/Ints into theories/Numbers, again : better generation... | letouzey |
| 2008-05-08 | Integration of theories/Ints into theories/Numbers, part 3: auto-generation o... | letouzey |
| 2008-02-14 | Plongement de doc/Makefile dans la nouvelle architecutre des Makefile | notin |
| 2008-02-13 | Implement KEEP_ML4_PREPROCESSED option in build system | lmamane |
| 2008-02-06 | Détection plus souple et message un peu moins radical en cas de | herbelin |
| 2008-01-11 | Amélioration de la génération des graphes de dépendances | notin |
| 2007-12-13 | migration of ide/utf8.v to theories/Unicode/Utf8.v | letouzey |
| 2007-10-15 | build system: When using GOTO_STAGE, always go into that stage, even when tar... | lmamane |
| 2007-10-11 | Allow a few build system optimisations/corner-cutting | lmamane |
| 2007-07-25 | Add glob.dump to Makefile the recommended way and document the | lmamane |
| 2007-07-25 | Modifications de la construction de la documentation de la librairie | notin |
| 2007-07-18 | Cleanly refuse to operate in the presence of unsaved changes in emacs | lmamane |
| 2007-07-16 | Do not try to clean the doc when no config/Makefile | lmamane |
| 2007-07-16 | Reorganise cleaning targets | lmamane |
| 2007-07-16 | A cleaner solution to "make deletes .ml4.d files -> infinite loop" problem | lmamane |
| 2007-07-13 | New bootstrapping, improved, Makefile system | corbinea |
| 2007-07-12 | (Port of r9984) Easier debugging: | glondu |
| 2007-07-12 | Forgot to commit new Makefile | msozeau |
| 2007-07-09 | Petites corrections sur le Makefile | notin |
| 2007-07-02 | Missing include path of ocaml .h when generating deps | msozeau |
| 2007-06-29 | Added the directory theories/Numbers where axiomatizations and implementation... | emakarov |
| 2007-06-21 | Simplification de la construction du .depend: | notin |
| 2007-06-21 | Adding: Field instance for Q. | roconnor |
| 2007-06-14 | Correction du bug sur make depend | notin |
| 2007-06-09 | Various Program fixes, multiple pattern matches, aliases. Fix bug in coercion... | msozeau |
| 2007-05-22 | Nouvelle stratégie d'unification des types des with-bindings dans | herbelin |
| 2007-05-21 | Added Z and Q implementations with int31. | aspiwack |
| 2007-05-11 | Processor integers + Print assumption (see coqdev mailing list for the | aspiwack |
| 2007-04-05 | On n'a plus besoin de compiler les anciens fichiers de functionnal induction ... | jforest |
| 2007-03-30 | Modifications dans Makefile: | notin |
| 2007-03-20 | ajout contrib/dp/Dp.vo | filliatr |
| 2007-03-14 | Bug dans Makefile (COQINSTALLPREFIX) | notin |
| 2007-02-27 | Correction d'un bug de l'install (win) | notin |
| 2007-02-07 | Fix mistake naming my Tactics file Tactics :) | msozeau |
| 2007-02-07 | Add tactics for induction on subterms. | msozeau |
| 2007-02-05 | complement du commit 9591 | bgregoir |
| 2007-01-23 | Updated Makefile to include ConstructiveEpsilon.v | emakarov |
| 2007-01-17 | Move definition of VO_TOOLS_DEP before first use of it. | lmamane |
| 2007-01-17 | Reintroduce compatibility with old versions of GNU make | lmamane |
| 2007-01-12 | Suite au mail de Lionel a propos du Makefile: | letouzey |
| 2007-01-10 | - Make .vo files depend on coqdoc if COQ_XML is set (bug #848) | lmamane |
| 2007-01-10 | Merge from Lionel Elie Mamane's private branch: | lmamane |
| 2007-01-08 | Subtac fixes, support for reasoning on wf defs. | msozeau |
| 2006-12-19 | Adaptation à Subversion 1.4 | notin |
| 2006-12-11 | Changement dans le kernel : | bgregoir |
| 2006-12-08 | dp | filliatr |
| 2006-11-29 | Fork of cases impl for subtac. | msozeau |
| 2006-11-27 | The $(BEST) binaries symlinks depend on existence of target, not newness. | lmamane |
| 2006-11-16 | Adaptation à FreeBSD | notin |
| 2006-10-29 | Suite commit polymorphisme | herbelin |
