aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.build
Commit message (Expand)AuthorAge
* win32: bring back the coq icon in the coqide binaryGravatar Enrico Tassi2014-09-17
* IDECDEPSFLAGS is for byte, not optGravatar Enrico Tassi2014-09-09
* Removing the XML plugin.Gravatar Pierre-Marie Pédrot2014-09-08
* Make CoqIDE compile with windows (Closes: 3573)Gravatar Enrico Tassi2014-09-04
* coqworkmgrGravatar Enrico Tassi2014-09-02
* Distributed binaries under MacOS are signed.Gravatar Pierre Boutillier2014-08-26
* Fixing ml-dot & mli-dot targets.Gravatar Pierre-Marie Pédrot2014-08-23
* fixup fakeide test-suiteGravatar Pierre Boutillier2014-07-24
* A makefile rule to build bin/CoqIDE_$VERSION.app macOS bundleGravatar Pierre Boutillier2014-07-22
* When I make MacOS binary, I would like to have a coqtop able to speak to coqi...Gravatar Pierre Boutillier2014-07-22
* all coqide specific files moved into ide/Gravatar Enrico Tassi2014-06-25
* cut toploop(s) out of coqtop: now they are loaded dynamicallyGravatar Enrico Tassi2014-06-25
* This commit adds full universe polymorphism and fast projections to Coq.Gravatar Matthieu Sozeau2014-05-06
* Fixing ml-doc.Gravatar Pierre-Marie Pédrot2014-05-01
* Adding a stm/ folder, as asked during last workgroup. It was essentially movingGravatar Pierre-Marie Pédrot2014-04-25
* CoqIDE: options for syntax highlightingGravatar Enrico Tassi2014-04-10
* Change handling of loadpath and mlpath.Gravatar Guillaume Melquiond2014-04-06
* Revert "Makefile: the initial build of grammar.cma is now directory-driven"Gravatar Pierre Letouzey2014-03-24
* make install-coqlight installs DLLCOQRUN and LIBCOQRUNGravatar Pierre Boutillier2014-03-06
* Set officially the minimal OCaml requirement to 3.12.1Gravatar Pierre Letouzey2014-03-02
* Makefile: the initial build of grammar.cma is now directory-drivenGravatar Pierre Letouzey2014-03-02
* Makefile: re-introduce 2 phases to avoid make strange -include'sGravatar Pierre Letouzey2014-02-27
* make coqide-binaries does not build coqtop anymoreGravatar Pierre Boutillier2014-02-24
* Fix coqide build under MacOSGravatar Pierre Boutillier2014-02-24
* fake_ide: ported to spawnGravatar Enrico Tassi2014-02-10
* Coqmktop without Sys.command, changes in ./configure -*byteflags optionsGravatar Pierre Letouzey2014-01-30
* configure.ml fixed wrt Win32 + byte-only + coqideGravatar Enrico Tassi2014-01-26
* Goodbye typerex, Hello merlinGravatar Pierre2014-01-09
* md5 for MacOSGravatar Pierre2014-01-09
* Makefile.build: avoid a -ppGravatar Pierre Letouzey2013-12-20
* Coqdep always uses / as dir_sepGravatar Pierre Boutillier2013-12-20
* Fix make install after 3e972b3ff8e532be233f70567c87512324c99b4eGravatar Pierre Boutillier2013-12-17
* Do not compile coqide with -threadGravatar Pierre Boutillier2013-12-12
* Revert the two last commits. My bad, I messed up git-svn commands...Gravatar ppedrot2013-10-29
* Printing heap on every processed sentence.Gravatar ppedrot2013-10-29
* CoqIDE: move cmd_stack to a separate module: DocumentGravatar gareuselesinge2013-10-10
* fake_ide: speak the new protocolGravatar gareuselesinge2013-10-07
* Fixing ocamldebug compilation by adding thread linking.Gravatar ppedrot2013-09-24
* Fix compilation of coqcheckGravatar gareuselesinge2013-08-20
* State Transaction MachineGravatar gareuselesinge2013-08-08
* Fixing argument extension. Instead of qualified names, stringGravatar ppedrot2013-06-19
* Removing the various glob/subst/interp registering functions forGravatar ppedrot2013-06-18
* New module Xml_printer (dual to Xml_parser)Gravatar gareuselesinge2013-05-06
* Coqide: new feedback mechanism for structured contentGravatar gareuselesinge2013-04-25
* coqc and coqmktop migrated in tools/, get rid of scripts/ subdirGravatar letouzey2013-04-18
* Checker : a md5-based way to ensure checker/values.ml is always in syncGravatar letouzey2013-04-15
* votour: a small tool for guided tours of .voGravatar letouzey2013-04-15
* Checker: re-sync vo structures after Maxime's commit 16136Gravatar letouzey2013-02-12
* New implementation of the conversion test, using normalization by evaluation toGravatar mdenes2013-01-22
* Revert "remove -rectypes except for term.ml"Gravatar mdenes2013-01-22