| Commit message (Expand) | Author | Age |
* | all coqide specific files moved into ide/ | Enrico Tassi | 2014-06-25 |
* | cut toploop(s) out of coqtop: now they are loaded dynamically | Enrico Tassi | 2014-06-25 |
* | This commit adds full universe polymorphism and fast projections to Coq. | Matthieu Sozeau | 2014-05-06 |
* | Fixing ml-doc. | Pierre-Marie Pédrot | 2014-05-01 |
* | Adding a stm/ folder, as asked during last workgroup. It was essentially moving | Pierre-Marie Pédrot | 2014-04-25 |
* | CoqIDE: options for syntax highlighting | Enrico Tassi | 2014-04-10 |
* | Change handling of loadpath and mlpath. | Guillaume Melquiond | 2014-04-06 |
* | Revert "Makefile: the initial build of grammar.cma is now directory-driven" | Pierre Letouzey | 2014-03-24 |
* | make install-coqlight installs DLLCOQRUN and LIBCOQRUN | Pierre Boutillier | 2014-03-06 |
* | Set officially the minimal OCaml requirement to 3.12.1 | Pierre Letouzey | 2014-03-02 |
* | Makefile: the initial build of grammar.cma is now directory-driven | Pierre Letouzey | 2014-03-02 |
* | Makefile: re-introduce 2 phases to avoid make strange -include's | Pierre Letouzey | 2014-02-27 |
* | make coqide-binaries does not build coqtop anymore | Pierre Boutillier | 2014-02-24 |
* | Fix coqide build under MacOS | Pierre Boutillier | 2014-02-24 |
* | fake_ide: ported to spawn | Enrico Tassi | 2014-02-10 |
* | Coqmktop without Sys.command, changes in ./configure -*byteflags options | Pierre Letouzey | 2014-01-30 |
* | configure.ml fixed wrt Win32 + byte-only + coqide | Enrico Tassi | 2014-01-26 |
* | Goodbye typerex, Hello merlin | Pierre | 2014-01-09 |
* | md5 for MacOS | Pierre | 2014-01-09 |
* | Makefile.build: avoid a -pp | Pierre Letouzey | 2013-12-20 |
* | Coqdep always uses / as dir_sep | Pierre Boutillier | 2013-12-20 |
* | Fix make install after 3e972b3ff8e532be233f70567c87512324c99b4e | Pierre Boutillier | 2013-12-17 |
* | Do not compile coqide with -thread | Pierre Boutillier | 2013-12-12 |
* | Revert the two last commits. My bad, I messed up git-svn commands... | ppedrot | 2013-10-29 |
* | Printing heap on every processed sentence. | ppedrot | 2013-10-29 |
* | CoqIDE: move cmd_stack to a separate module: Document | gareuselesinge | 2013-10-10 |
* | fake_ide: speak the new protocol | gareuselesinge | 2013-10-07 |
* | Fixing ocamldebug compilation by adding thread linking. | ppedrot | 2013-09-24 |
* | Fix compilation of coqcheck | gareuselesinge | 2013-08-20 |
* | State Transaction Machine | gareuselesinge | 2013-08-08 |
* | Fixing argument extension. Instead of qualified names, string | ppedrot | 2013-06-19 |
* | Removing the various glob/subst/interp registering functions for | ppedrot | 2013-06-18 |
* | New module Xml_printer (dual to Xml_parser) | gareuselesinge | 2013-05-06 |
* | Coqide: new feedback mechanism for structured content | gareuselesinge | 2013-04-25 |
* | coqc and coqmktop migrated in tools/, get rid of scripts/ subdir | letouzey | 2013-04-18 |
* | Checker : a md5-based way to ensure checker/values.ml is always in sync | letouzey | 2013-04-15 |
* | votour: a small tool for guided tours of .vo | letouzey | 2013-04-15 |
* | Checker: re-sync vo structures after Maxime's commit 16136 | letouzey | 2013-02-12 |
* | New implementation of the conversion test, using normalization by evaluation to | mdenes | 2013-01-22 |
* | Revert "remove -rectypes except for term.ml" | mdenes | 2013-01-22 |
* | Coqide: get rid of threads, use gtk asynchronous i/o instead | letouzey | 2012-12-08 |
* | Coqmktop: missing -I (fix #2851) | letouzey | 2012-10-23 |
* | Coqide does not need dllcoqrun.so | pboutill | 2012-10-22 |
* | Makefile.build: CONFIG is now in clib | pboutill | 2012-10-17 |
* | Do not install libcoqrun.so if compiled with -custom | pboutill | 2012-10-17 |
* | Makefiles: Only -I required dirs (config, lib, ide) when compiling coqide | pboutill | 2012-10-15 |
* | Makefile.build: $(MLINCLUDES) out of $(OPT/BYTEFLAGS) | pboutill | 2012-10-15 |
* | Turn mltop.ml4 into a regular ocaml file | letouzey | 2012-10-06 |
* | no need for camlp4 cma's in coq misc tools | letouzey | 2012-10-06 |
* | remove -rectypes except for term.ml | letouzey | 2012-10-06 |