aboutsummaryrefslogtreecommitdiff
path: root/Makefile.common
AgeCommit message (Expand)Author
2017-03-03[ltac] Move dummy plugin to plugins folder.Emilio Jesus Gallego Arias
2016-07-05Revert "Merge remote-tracking branch 'github/pr/229' into trunk"Maxime Dénès
2016-06-29Makefile: $(BEST) controls which coqtop is used to build .voPierre Letouzey
2016-06-29Makefile: no bytecode compilation in make world, see make byte insteadPierre Letouzey
2016-06-24Makefile.install: fix the install of plugin cmiPierre Letouzey
2016-06-21Makefile: compat5* moved in grammar/, less -I given to camlp4oPierre Letouzey
2016-06-16Fix Makefile after ssrmatching mergeEnrico Tassi
2016-06-14Merge remote-tracking branch 'origin/pr/146' into trunkEnrico Tassi
2016-06-08Compilation via pack for plugins of the stdlibPierre Letouzey
2016-06-08Makefile.build split in many smaller files : Makefile.{ide,checker,dev,install}Pierre Letouzey
2016-06-02Makefile.common: update PRIVATEBINARIES to repair the build on MACOSPierre Letouzey
2016-06-01Makefile.common : avoid warnings about files linked twicePierre Letouzey
2016-06-01Yet another Makefile reform : a unique phase without nasty make tricksPierre Letouzey
2016-06-01Makefile: restore the use of coqdep_boot for creating .v.d filesPierre Letouzey
2016-05-31Checker: no more -I kernel via a few symlinks (for Names and Esubst)Pierre Letouzey
2016-03-21Creating a dedicated ltac/ folder for Hightactics.Pierre-Marie Pédrot
2016-03-02Ssreflect pattern matching facilitiesEnrico Tassi
2016-01-21Merge branch 'v8.5'Pierre-Marie Pédrot
2016-01-13MMaps: remove it from final 8.5 release, since this new library isn't mature ...Pierre Letouzey
2015-10-02Merge branch 'v8.5'Pierre-Marie Pédrot
2015-09-30Build the compatibility files.Guillaume Melquiond
2015-08-22Merge branch 'v8.5'Pierre-Marie Pédrot
2015-08-17Remove generatable documentation files from repository. (Fix bug #4315)Guillaume Melquiond
2015-08-05Merge branch 'v8.5'Pierre-Marie Pédrot
2015-07-31Improve the table of content of the reference manual.Guillaume Melquiond
2015-07-02Merge branch 'v8.5' into trunkMaxime Dénès
2015-07-02Revert "Add target to install dev files."Maxime Dénès
2015-06-28Merge branch 'v8.5'Pierre-Marie Pédrot
2015-06-26Add target to install dev files.Matthieu Sozeau
2015-03-04Introducing MMaps, a modernized FMaps.Pierre Letouzey
2015-03-04Introducing MMaps, a modernized FMaps.Pierre Letouzey
2015-02-27Adding a new folder corresponding to the low-level part of the pretyperPierre-Marie Pédrot
2015-02-16Using same code for browsing physical directories in coqtop and coqdep.Hugo Herbelin
2015-02-16Using home-made ocamllibdep rather than coqdep_boot.Hugo Herbelin
2015-02-14Makefile: in byte we can always dynlinkEnrico Tassi
2015-02-12Revert "Using same code for browsing physical directories in coqtop and coqdep."Hugo Herbelin
2015-02-12Using same code for browsing physical directories in coqtop and coqdep.Hugo Herbelin
2015-01-08Avoiding introducing yet another convention in naming files.Hugo Herbelin
2015-01-06Fix some documentation typos.Guillaume Melquiond
2014-12-19Install .v and .glob files tooEnrico Tassi
2014-10-31STM: reorganize code and file namesEnrico Tassi
2014-10-09No need anymore for referring to xml directory in MLINCLUDES.Hugo Herbelin
2014-09-08Removing the documentation of the XML plugin.Pierre-Marie Pédrot
2014-09-08Removing the XML plugin.Pierre-Marie Pédrot
2014-09-04Make CoqIDE compile with windows (Closes: 3573)Enrico Tassi
2014-09-02coqworkmgrEnrico Tassi
2014-08-26Configure.ml creates metadata to annotate MacOS binariesPierre Boutillier
2014-08-05STM: new "par:" goal selector, like "all:" but in parallelEnrico Tassi
2014-07-24Forgot to add a Universes.v.tex as a target.Matthieu Sozeau
2014-07-24fixup fakeide test-suitePierre Boutillier
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 16:21:04 +0000