| Age | Commit message (Expand) | Author |
|---|
| 2013-09-06 | Moving Searchstack to CStack, and normalizing names a bit. | ppedrot |
| 2013-08-08 | Searchable stack data structure | gareuselesinge |
| 2013-05-06 | New module Xml_printer (dual to Xml_parser) | gareuselesinge |
| 2013-04-18 | coqc and coqmktop migrated in tools/, get rid of scripts/ subdir | letouzey |
| 2013-04-17 | Coqmktop: dynlink is now mandatory due to Maxime's native-compiler | letouzey |
| 2013-01-22 | New implementation of the conversion test, using normalization by evaluation to | mdenes |
| 2012-12-10 | Tiny fix of r16049 | pboutill |
| 2012-10-29 | Allow running coq-tex in win32 (fix #2921) | letouzey |
| 2012-10-15 | Makefiles: Only -I required dirs (config, lib, ide) when compiling coqide | pboutill |
| 2012-10-04 | Moved Compat to parsing. This permits to break the dependency of the | ppedrot |
| 2012-09-15 | Port rewrites of tactic documentation from branch 8.4. | gmelquio |
| 2012-09-12 | Coqide uses Glib to get the XDG_DATA/CONFIG_HOME/DIRS | 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: get rid of the -src option and of ${COQSRC} | 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-07-05 | Legacy Ring and Legacy Field migrated to contribs | letouzey |
| 2012-06-22 | Added an indirection with respect to Loc in Compat. As many [open Compat] | ppedrot |
| 2012-06-20 | Install compat5 module with grammar.cma | pboutill |
| 2012-05-29 | place all pretty-printing files in new dir printing/ | letouzey |
| 2012-05-29 | place all files specific to camlp4 syntax extensions in grammar/ | letouzey |
| 2012-05-29 | Vernacexpr is now a mli-only file, locality stuff now in locality.ml | letouzey |
| 2012-05-23 | Revert copy/pasted function in to minilib thanks to clib.cma | pboutill |
| 2012-05-15 | Makefile: Really avoid locales in $(DATE) | letouzey |
| 2012-05-10 | Addedum to documentation of bullets: I now use the dedicated coq_example | aspiwack |
| 2012-04-17 | Remove the Dp plugin. | gmelquio |
| 2012-04-12 | lib directory is cut in 2 cma. | pboutill |
| 2012-03-14 | Final part of moving Program code inside the main code. Adapted add_definitio... | msozeau |
| 2012-03-02 | Noise for nothing | pboutill |
| 2012-01-13 | Added a Btauto plugin, that solves boolean tautologies. | ppedrot |
| 2011-12-06 | fix Makefile.common handling of -byte-only | gareuselesinge |
| 2011-11-24 | Moving XML handling to lib directory | ppedrot |
| 2011-11-06 | Added XML dependencies into Makefile | ppedrot |
| 2011-11-06 | Added XML manipulation tools to compilation chain | ppedrot |
| 2011-09-17 | Various fixes in the Makefiles | letouzey |
| 2011-09-06 | make world now builds fake_ide (to please coq-bench) | letouzey |
| 2011-05-13 | A new mechanism to handle errors. | aspiwack |
| 2011-05-09 | remove useless dependancy for csdpcert | fbesson |
| 2011-03-28 | Ide: restaure compilation of ide/macjokes.c removed by mistake | letouzey |
| 2011-03-25 | Ide: more reorganisation and cleanup | letouzey |
| 2011-03-23 | Ide: stronger separation from coqtop | letouzey |
| 2011-02-25 | Revert "syntax for exponents" | glondu |
| 2011-02-22 | syntax for exponents | pottier |
| 2011-01-25 | Add a test for sorting all universes of stdlib | glondu |
| 2011-01-07 | MacOS integration | pboutill |
| 2011-01-07 | Coqide is not built with coqmktop any more | pboutill |
| 2010-12-10 | First release of Vector library. | pboutill |
| 2010-11-02 | Move stuff about positive into a distinct PArith subdir | letouzey |
