aboutsummaryrefslogtreecommitdiff
path: root/Makefile
AgeCommit message (Expand)Author
2009-03-14Makefile: ml dependencies of contribs are moved to .mllib filesletouzey
2009-03-02Heavy modifications on the widget and edition tab creation mechanism.vgross
2009-02-11Report des revisions #11826, #11828 et #11829 de v8.2 vers trunknotin
2009-02-11Document how FIND_VCS_CLAUSE has to be usedlmamane
2009-02-11clean: revision is now called config/revision.mllmamane
2009-02-11Convert all uses of FIND_VCS_CLAUSE to recommended stylelmamane
2009-01-07Suite de la révision #11756notin
2009-01-06Conversion du fichier 'revision' en un fichier .ml + correction d'un bug dans...notin
2008-12-16Take advantage of natdynlink when available: almost all contribs become loada...letouzey
2008-12-11do not install coqchk cmi filesbarras
2008-09-07Commit fixes from v8.2 branch (r11386 and r11387)glondu
2008-09-07Generalize usage of $(FIND_VCS_CLAUSE) and add debian to itglondu
2008-09-07Do not install csdpcert in $(BINDIR)glondu
2008-09-06More cleaningglondu
2008-09-06Use $(COQTOPEXE) to refer to bin/coqtop in Makefilesglondu
2008-08-18Renaming parser -> coq-parserglondu
2008-08-04Évolutions diverses et variées.herbelin
2008-06-01Quelques amendements liées à la compilation des packages.herbelin
2008-05-22Should fix the dependancy issue mentioned by J.Forest about NMake: letouzey
2008-05-08Integration of theories/Ints into theories/Numbers, again : better generation...letouzey
2008-05-08Integration of theories/Ints into theories/Numbers, part 3: auto-generation o...letouzey
2008-02-14Plongement de doc/Makefile dans la nouvelle architecutre des Makefilenotin
2008-02-13Implement KEEP_ML4_PREPROCESSED option in build systemlmamane
2008-02-06Détection plus souple et message un peu moins radical en cas deherbelin
2008-01-11Amélioration de la génération des graphes de dépendancesnotin
2007-12-13migration of ide/utf8.v to theories/Unicode/Utf8.vletouzey
2007-10-15build system: When using GOTO_STAGE, always go into that stage, even when tar...lmamane
2007-10-11Allow a few build system optimisations/corner-cuttinglmamane
2007-07-25Add glob.dump to Makefile the recommended way and document thelmamane
2007-07-25Modifications de la construction de la documentation de la librairienotin
2007-07-18Cleanly refuse to operate in the presence of unsaved changes in emacslmamane
2007-07-16Do not try to clean the doc when no config/Makefilelmamane
2007-07-16Reorganise cleaning targetslmamane
2007-07-16A cleaner solution to "make deletes .ml4.d files -> infinite loop" problemlmamane
2007-07-13New bootstrapping, improved, Makefile systemcorbinea
2007-07-12(Port of r9984) Easier debugging:glondu
2007-07-12Forgot to commit new Makefilemsozeau
2007-07-09Petites corrections sur le Makefilenotin
2007-07-02Missing include path of ocaml .h when generating depsmsozeau
2007-06-29Added the directory theories/Numbers where axiomatizations and implementation...emakarov
2007-06-21Simplification de la construction du .depend:notin
2007-06-21Adding: Field instance for Q.roconnor
2007-06-14Correction du bug sur make dependnotin
2007-06-09Various Program fixes, multiple pattern matches, aliases. Fix bug in coercion...msozeau
2007-05-22Nouvelle stratégie d'unification des types des with-bindings dansherbelin
2007-05-21Added Z and Q implementations with int31.aspiwack
2007-05-11Processor integers + Print assumption (see coqdev mailing list for the aspiwack
2007-04-05On n'a plus besoin de compiler les anciens fichiers de functionnal induction ...jforest
2007-03-30Modifications dans Makefile: notin
2007-03-20ajout contrib/dp/Dp.vofilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-19 14:37:23 +0000