aboutsummaryrefslogtreecommitdiff
path: root/Makefile
AgeCommit message (Expand)Author
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
2007-03-14Bug dans Makefile (COQINSTALLPREFIX)notin
2007-02-27Correction d'un bug de l'install (win)notin
2007-02-07Fix mistake naming my Tactics file Tactics :)msozeau
2007-02-07Add tactics for induction on subterms.msozeau
2007-02-05complement du commit 9591bgregoir
2007-01-23Updated Makefile to include ConstructiveEpsilon.vemakarov
2007-01-17Move definition of VO_TOOLS_DEP before first use of it.lmamane
2007-01-17Reintroduce compatibility with old versions of GNU makelmamane
2007-01-12Suite 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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-08 02:06:53 +0000