aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile
Commit message (Expand)AuthorAge
...
* Heavy modifications on the widget and edition tab creation mechanism.Gravatar vgross2009-03-02
* Report des revisions #11826, #11828 et #11829 de v8.2 vers trunkGravatar notin2009-02-11
* Document how FIND_VCS_CLAUSE has to be usedGravatar lmamane2009-02-11
* clean: revision is now called config/revision.mlGravatar lmamane2009-02-11
* Convert all uses of FIND_VCS_CLAUSE to recommended styleGravatar lmamane2009-02-11
* Suite de la révision #11756Gravatar notin2009-01-07
* Conversion du fichier 'revision' en un fichier .ml + correction d'un bug dans...Gravatar notin2009-01-06
* Take advantage of natdynlink when available: almost all contribs become loada...Gravatar letouzey2008-12-16
* do not install coqchk cmi filesGravatar barras2008-12-11
* Commit fixes from v8.2 branch (r11386 and r11387)Gravatar glondu2008-09-07
* Generalize usage of $(FIND_VCS_CLAUSE) and add debian to itGravatar glondu2008-09-07
* Do not install csdpcert in $(BINDIR)Gravatar glondu2008-09-07
* More cleaningGravatar glondu2008-09-06
* Use $(COQTOPEXE) to refer to bin/coqtop in MakefilesGravatar glondu2008-09-06
* Renaming parser -> coq-parserGravatar glondu2008-08-18
* Évolutions diverses et variées.Gravatar herbelin2008-08-04
* Quelques amendements liées à la compilation des packages.Gravatar herbelin2008-06-01
* Should fix the dependancy issue mentioned by J.Forest about NMake: Gravatar letouzey2008-05-22
* Integration of theories/Ints into theories/Numbers, again : better generation...Gravatar letouzey2008-05-08
* Integration of theories/Ints into theories/Numbers, part 3: auto-generation o...Gravatar letouzey2008-05-08
* 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