| Age | Commit message (Expand) | Author |
|---|
| 2014-01-30 | Coqmktop without Sys.command, changes in ./configure -*byteflags options | Pierre Letouzey |
| 2014-01-26 | configure.ml fixed wrt Win32 + byte-only + coqide | Enrico Tassi |
| 2014-01-09 | Goodbye typerex, Hello merlin | Pierre |
| 2014-01-09 | md5 for MacOS | Pierre |
| 2013-12-20 | Makefile.build: avoid a -pp | Pierre Letouzey |
| 2013-12-20 | Coqdep always uses / as dir_sep | Pierre Boutillier |
| 2013-12-17 | Fix make install after 3e972b3ff8e532be233f70567c87512324c99b4e | Pierre Boutillier |
| 2013-12-12 | Do not compile coqide with -thread | Pierre Boutillier |
| 2013-10-29 | 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-10 | CoqIDE: move cmd_stack to a separate module: Document | gareuselesinge |
| 2013-10-07 | fake_ide: speak the new protocol | gareuselesinge |
| 2013-09-24 | Fixing ocamldebug compilation by adding thread linking. | ppedrot |
| 2013-08-20 | Fix compilation of coqcheck | gareuselesinge |
| 2013-08-08 | State Transaction Machine | gareuselesinge |
| 2013-06-19 | Fixing argument extension. Instead of qualified names, string | ppedrot |
| 2013-06-18 | Removing the various glob/subst/interp registering functions for | ppedrot |
| 2013-05-06 | New module Xml_printer (dual to Xml_parser) | gareuselesinge |
| 2013-04-25 | Coqide: new feedback mechanism for structured content | gareuselesinge |
| 2013-04-18 | coqc and coqmktop migrated in tools/, get rid of scripts/ subdir | letouzey |
| 2013-04-15 | 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-02-12 | Checker: re-sync vo structures after Maxime's commit 16136 | letouzey |
| 2013-01-22 | New implementation of the conversion test, using normalization by evaluation to | mdenes |
| 2013-01-22 | Revert "remove -rectypes except for term.ml" | mdenes |
| 2012-12-08 | Coqide: get rid of threads, use gtk asynchronous i/o instead | letouzey |
| 2012-10-23 | Coqmktop: missing -I (fix #2851) | letouzey |
| 2012-10-22 | Coqide does not need dllcoqrun.so | pboutill |
| 2012-10-17 | Makefile.build: CONFIG is now in clib | pboutill |
| 2012-10-17 | Do not install libcoqrun.so if compiled with -custom | pboutill |
| 2012-10-15 | 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-06 | 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-04 | Makefile.build: easier compilation with timings info | letouzey |
| 2012-10-02 | New makefile shortcuts miniopt and minibyte for coqtop + plugins | letouzey |
| 2012-09-25 | Added a ml-dot option to Makefile to generate dependency graph of core modules | ppedrot |
| 2012-09-20 | Avoid generating ide/coqide_main*.ml as cleartext (except if READABLE_ML4 is ... | letouzey |
| 2012-09-20 | Remove broken makefile option NO_RECOMPILE_LIB | letouzey |
| 2012-09-17 | MacOS integration uses lablgtkosx >= 1.1 | pboutill |
| 2012-09-07 | Makefile: revised install-coqide rule | letouzey |
| 2012-09-04 | Fix coqide compilation with lablgtk 2.16 | pboutill |
| 2012-09-04 | Erase %.vo dependency to the phony target states | pboutill |
| 2012-08-23 | No more states/initial.coq, instead coqtop now requires Prelude.vo | letouzey |
| 2012-08-23 | No more coqtop.opt, produce directly a coqtop binary | letouzey |
| 2012-08-23 | Configure + Makefile : simplification when -local | letouzey |
| 2012-08-23 | Simpler configure: gcc via ocamlc, no ranlib (done by ocamlmklib) | letouzey |
| 2012-08-23 | Port from 8.4 branch some build fixes concerning win32 : | letouzey |
| 2012-08-22 | Do not forget to build the unicode libraries, necessary to compile and launch... | msozeau |
