| Age | Commit message (Expand) | Author |
|---|
| 2016-07-03 | errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod... | Pierre Letouzey |
| 2016-06-29 | A new infrastructure for warnings. | Maxime Dénès |
| 2016-06-01 | Makefile: restore the use of coqdep_boot for creating .v.d files | Pierre Letouzey |
| 2016-03-05 | Merge branch 'v8.5' | Pierre-Marie Pédrot |
| 2016-03-04 | Rename Ephemeron -> CEphemeron. | Maxime Dénès |
| 2015-12-05 | Factorizing unsafe code by relying on the new Dyn module. | Pierre-Marie Pédrot |
| 2015-02-12 | Revert "Using same code for browsing physical directories in coqtop and coqdep." | Hugo Herbelin |
| 2015-02-12 | Using same code for browsing physical directories in coqtop and coqdep. | Hugo Herbelin |
| 2014-11-04 | RichPp: New module. | Regis-Gianas |
| 2014-05-08 | Moving Dnet-related code to tactics/. | Pierre-Marie Pédrot |
| 2014-04-25 | Adding a stm/ folder, as asked during last workgroup. It was essentially moving | Pierre-Marie Pédrot |
| 2014-03-13 | STM: move out a couple of submodules | Enrico Tassi |
| 2014-01-30 | Work around for bug in threads + blocking io streamlined | Enrico Tassi |
| 2014-01-26 | Spawn: managed processes | Enrico Tassi |
| 2013-10-18 | Ephemeron: marshaling friendly keys | gareuselesinge |
| 2013-09-06 | Moving Searchstack to CStack, and normalizing names a bit. | ppedrot |
| 2013-08-20 | Universe counters on slaves are in sync with master | gareuselesinge |
| 2013-08-08 | Vcs data structure (Git inspired builder for Dag) | gareuselesinge |
| 2013-08-08 | Dag data structure | gareuselesinge |
| 2013-08-08 | Searchable stack data structure | gareuselesinge |
| 2013-08-08 | Future library to represent pure computations | gareuselesinge |
| 2013-06-21 | Splitted up Genarg in four different levels: | ppedrot |
| 2013-05-14 | Gmap is now useless, hail to Map! | ppedrot |
| 2013-05-14 | Removing Fmap from libraries, it is not used anymore. | ppedrot |
| 2013-05-12 | Removing Fset, since it is not used anymore. | ppedrot |
| 2013-05-09 | Documenting the Tries module, uniformizing the names according to | ppedrot |
| 2013-05-09 | Getting rid of module Gmapl. | ppedrot |
| 2013-05-06 | New module Xml_printer (dual to Xml_parser) | gareuselesinge |
| 2013-04-25 | Coqide: Globalization feedback (proof of concept) | gareuselesinge |
| 2013-03-12 | Updated Exninfo to the new Store type. | ppedrot |
| 2012-12-14 | Moving hcons_string to String namespace. | ppedrot |
| 2012-10-04 | Moved Compat to parsing. This permits to break the dependency of the | ppedrot |
| 2012-09-26 | Cleaning, renaming obscure functions and documenting in Hashcons. | ppedrot |
| 2012-09-18 | More cleanup of Util: utf8 aspects moved to a new file unicode.ml | letouzey |
| 2012-09-10 | Moved Pp to CLib. In particular, Pp does not depend on CAMLP4/5 | ppedrot |
| 2012-07-20 | Put Option in Clib | pboutill |
| 2012-06-22 | Added an indirection with respect to Loc in Compat. As many [open Compat] | ppedrot |
| 2012-05-23 | Revert copy/pasted function in to minilib thanks to clib.cma | pboutill |
| 2012-04-12 | lib directory is cut in 2 cma. | pboutill |
| 2012-03-02 | Noise for nothing | pboutill |
| 2011-11-24 | Moving XML handling to lib directory | ppedrot |
| 2011-07-29 | Term: Refactoring of hashconsing | puech |
| 2011-05-13 | A new mechanism to handle errors. | aspiwack |
| 2011-02-11 | An generic imperative union-find, used for deps of evars in Class_tactics | letouzey |
| 2011-01-06 | Remove Safe_marshal | glondu |
| 2010-09-24 | Some dead code removal, thanks to Oug analyzer | letouzey |
| 2010-09-17 | Coqdep_boot : misc improvements | letouzey |
| 2010-05-31 | CoqIDE goes multiprocess | vgross |
| 2010-04-22 | Here comes the commit, announced long ago, of the new tactic engine. | aspiwack |
| 2010-01-08 | * Segmenttree: New. A very simple implementation of segment trees. | regisgia |
