| Commit message (Expand) | Author | Age |
|---|
| * | Ephemeron: marshaling friendly keys |  gareuselesinge | 2013-10-18 |
| * | Moving Searchstack to CStack, and normalizing names a bit. |  ppedrot | 2013-09-06 |
| * | Universe counters on slaves are in sync with master | gareuselesinge | 2013-08-20 |
| * | 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-08-08 |
| * | Splitted up Genarg in four different levels: | ppedrot | 2013-06-21 |
| * | Gmap is now useless, hail to Map! | ppedrot | 2013-05-14 |
| * | Removing Fmap from libraries, it is not used anymore. | ppedrot | 2013-05-14 |
| * | Removing Fset, since it is not used anymore. | ppedrot | 2013-05-12 |
| * | Documenting the Tries module, uniformizing the names according to | ppedrot | 2013-05-09 |
| * | Getting rid of module Gmapl. | ppedrot | 2013-05-09 |
| * | New module Xml_printer (dual to Xml_parser) | gareuselesinge | 2013-05-06 |
| * | Coqide: Globalization feedback (proof of concept) | gareuselesinge | 2013-04-25 |
| * | Updated Exninfo to the new Store type. | ppedrot | 2013-03-12 |
| * | Moving hcons_string to String namespace. | ppedrot | 2012-12-14 |
| * | Moved Compat to parsing. This permits to break the dependency of the | ppedrot | 2012-10-04 |
| * | Cleaning, renaming obscure functions and documenting in Hashcons. | ppedrot | 2012-09-26 |
| * | More cleanup of Util: utf8 aspects moved to a new file unicode.ml |  letouzey | 2012-09-18 |
| * | Moved Pp to CLib. In particular, Pp does not depend on CAMLP4/5 | ppedrot | 2012-09-10 |
| * | Put Option in Clib |  pboutill | 2012-07-20 |
| * | Added an indirection with respect to Loc in Compat. As many [open Compat] | ppedrot | 2012-06-22 |
| * | Revert copy/pasted function in to minilib thanks to clib.cma | pboutill | 2012-05-23 |
| * | lib directory is cut in 2 cma. | pboutill | 2012-04-12 |
| * | Noise for nothing | pboutill | 2012-03-02 |
| * | Moving XML handling to lib directory | ppedrot | 2011-11-24 |
| * | Term: Refactoring of hashconsing |  puech | 2011-07-29 |
| * | A new mechanism to handle errors. |  aspiwack | 2011-05-13 |
| * | An generic imperative union-find, used for deps of evars in Class_tactics | letouzey | 2011-02-11 |
| * | Remove Safe_marshal |  glondu | 2011-01-06 |
| * | Some dead code removal, thanks to Oug analyzer | letouzey | 2010-09-24 |
| * | Coqdep_boot : misc improvements | letouzey | 2010-09-17 |
| * | CoqIDE goes multiprocess |  vgross | 2010-05-31 |
| * | Here comes the commit, announced long ago, of the new tactic engine. | aspiwack | 2010-04-22 |
| * | * Segmenttree: New. A very simple implementation of segment trees. |  regisgia | 2010-01-08 |
| * | * Rewrite [classify_unicode] using standard unicode tables. | regisgia | 2009-12-20 |
| * | New functors for gmap and gset. |  soubiran | 2009-10-26 |
| * | This big commit addresses two problems: | soubiran | 2009-10-21 |
| * | Delete trailing whitespaces in all *.{v,ml*} files | glondu | 2009-09-17 |
| * | Many changes in the Makefile infrastructure + a beginning of ocamlbuild | letouzey | 2009-03-20 |
gareuselesinge
ppedrot
letouzey
pboutill
puech
aspiwack
glondu
vgross
regisgia
soubiran