| Age | Commit message (Expand) | Author |
|---|
| 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 |
| 2012-08-08 | Fixup for macOS 10.8 & Ocaml 4.0 | pboutill |
| 2012-08-06 | Win32: some quote fixes | letouzey |
| 2012-07-05 | Legacy Ring and Legacy Field migrated to contribs | letouzey |
| 2012-05-29 | place all files specific to camlp4 syntax extensions in grammar/ | letouzey |
| 2012-05-29 | Makefile.build: a rule for building grammar.dot | letouzey |
| 2012-05-29 | Makefile: avoid too much exported vars (for win32) | letouzey |
| 2012-05-23 | Revert copy/pasted function in to minilib thanks to clib.cma | pboutill |
| 2012-05-11 | Makefile.build typo in echo | pboutill |
| 2012-05-11 | Tentative and very experminental support for typerex. Enabled with | aspiwack |
| 2012-05-02 | Coqide highligthing is back (done by gtksourceview). | pboutill |
| 2012-04-28 | Fix make install after emacs mode troll (r15251) | pboutill |
