aboutsummaryrefslogtreecommitdiff
path: root/Makefile.common
AgeCommit message (Expand)Author
2016-03-21Creating a dedicated ltac/ folder for Hightactics.Pierre-Marie Pédrot
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
2014-07-22A makefile rule to build bin/CoqIDE_$VERSION.app macOS bundlePierre Boutillier
2014-06-25all coqide specific files moved into ide/Enrico Tassi
2014-06-25cut toploop(s) out of coqtop: now they are loaded dynamicallyEnrico Tassi
2014-05-05Fix install target in Makefile after 6acf543800fe176ca7d47ef7165ebc14588efb6f.Maxime Dénès
2014-04-25Adding a stm/ folder, as asked during last workgroup. It was essentially movingPierre-Marie Pédrot
2014-03-24Revert "Makefile: the initial build of grammar.cma is now directory-driven"Pierre Letouzey
2014-03-07Compiling coqc in "tools" target.Pierre-Marie Pédrot
2014-03-02Makefile: the initial build of grammar.cma is now directory-drivenPierre Letouzey
2014-02-24Fix coqide build under MacOSPierre Boutillier
2014-01-26Spawn: managed processesEnrico Tassi
2014-01-05refman: fist stab at Asynchronous ProofsEnrico Tassi
2013-12-16A few fixes to the build system (mostly for ocamlbuild)Pierre Letouzey
2013-12-04Documentation of the Derive plugin.Arnaud Spiwack
2013-12-04Derive plugin.Arnaud Spiwack
2013-11-29First stab at documenting Canonical StructuresEnrico Tassi
2013-09-06Moving Searchstack to CStack, and normalizing names a bit.ppedrot
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-08 21:02:58 +0000