| Age | Commit message (Expand) | Author |
|---|
| 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 |
| 2009-12-20 | * Rewrite [classify_unicode] using standard unicode tables. | regisgia |
| 2009-10-26 | New functors for gmap and gset. | soubiran |
| 2009-10-21 | This big commit addresses two problems: | soubiran |
| 2009-09-17 | Delete trailing whitespaces in all *.{v,ml*} files | glondu |
| 2009-03-20 | Many changes in the Makefile infrastructure + a beginning of ocamlbuild | letouzey |
