aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile
Commit message (Expand)AuthorAge
* Plongement de doc/Makefile dans la nouvelle architecutre des MakefileGravatar notin2008-02-14
* Implement KEEP_ML4_PREPROCESSED option in build systemGravatar lmamane2008-02-13
* Détection plus souple et message un peu moins radical en cas deGravatar herbelin2008-02-06
* Amélioration de la génération des graphes de dépendancesGravatar notin2008-01-11
* migration of ide/utf8.v to theories/Unicode/Utf8.vGravatar letouzey2007-12-13
* build system: When using GOTO_STAGE, always go into that stage, even when tar...Gravatar lmamane2007-10-15
* Allow a few build system optimisations/corner-cuttingGravatar lmamane2007-10-11
* Add glob.dump to Makefile the recommended way and document theGravatar lmamane2007-07-25
* Modifications de la construction de la documentation de la librairieGravatar notin2007-07-25
* Cleanly refuse to operate in the presence of unsaved changes in emacsGravatar lmamane2007-07-18
* Do not try to clean the doc when no config/MakefileGravatar lmamane2007-07-16
* Reorganise cleaning targetsGravatar lmamane2007-07-16
* A cleaner solution to "make deletes .ml4.d files -> infinite loop" problemGravatar lmamane2007-07-16
* New bootstrapping, improved, Makefile systemGravatar corbinea2007-07-13
* (Port of r9984) Easier debugging:Gravatar glondu2007-07-12
* Forgot to commit new MakefileGravatar msozeau2007-07-12
* Petites corrections sur le MakefileGravatar notin2007-07-09
* Missing include path of ocaml .h when generating depsGravatar msozeau2007-07-02
* Added the directory theories/Numbers where axiomatizations and implementation...Gravatar emakarov2007-06-29
* Simplification de la construction du .depend:Gravatar notin2007-06-21
* Adding: Field instance for Q.Gravatar roconnor2007-06-21
* Correction du bug sur make dependGravatar notin2007-06-14
* Various Program fixes, multiple pattern matches, aliases. Fix bug in coercion...Gravatar msozeau2007-06-09
* Nouvelle stratégie d'unification des types des with-bindings dansGravatar herbelin2007-05-22
* Added Z and Q implementations with int31.Gravatar aspiwack2007-05-21
* Processor integers + Print assumption (see coqdev mailing list for the Gravatar aspiwack2007-05-11
* On n'a plus besoin de compiler les anciens fichiers de functionnal induction ...Gravatar jforest2007-04-05
* Modifications dans Makefile: Gravatar notin2007-03-30
* ajout contrib/dp/Dp.voGravatar filliatr2007-03-20
* Bug dans Makefile (COQINSTALLPREFIX)Gravatar notin2007-03-14
* Correction d'un bug de l'install (win)Gravatar notin2007-02-27
* Fix mistake naming my Tactics file Tactics :)Gravatar msozeau2007-02-07
* Add tactics for induction on subterms.Gravatar msozeau2007-02-07
* complement du commit 9591Gravatar bgregoir2007-02-05
* Updated Makefile to include ConstructiveEpsilon.vGravatar emakarov2007-01-23
* Move definition of VO_TOOLS_DEP before first use of it.Gravatar lmamane2007-01-17
* Reintroduce compatibility with old versions of GNU makeGravatar lmamane2007-01-17
* Suite au mail de Lionel a propos du Makefile: Gravatar letouzey2007-01-12
* - Make .vo files depend on coqdoc if COQ_XML is set (bug #848)Gravatar lmamane2007-01-10
* Merge from Lionel Elie Mamane's private branch:Gravatar lmamane2007-01-10
* Subtac fixes, support for reasoning on wf defs.Gravatar msozeau2007-01-08
* Adaptation à Subversion 1.4Gravatar notin2006-12-19
* Changement dans le kernel : Gravatar bgregoir2006-12-11
* dpGravatar filliatr2006-12-08
* Fork of cases impl for subtac.Gravatar msozeau2006-11-29
* The $(BEST) binaries symlinks depend on existence of target, not newness.Gravatar lmamane2006-11-27
* Adaptation à FreeBSDGravatar notin2006-11-16
* Suite commit polymorphismeGravatar herbelin2006-10-29
* Prise en compte dépendance de subtyping en typeops (polymorphisme de defs)Gravatar herbelin2006-10-28
* simplif de la partie ML de ring/fieldGravatar barras2006-10-27