aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/clib.mllib
Commit message (Expand)AuthorAge
* remove unused iArrayGravatar Enrico Tassi2015-01-06
* Adding a terminal library.Gravatar Pierre-Marie Pédrot2014-11-15
* lib/RichPp: Rename into Richpp.Gravatar Yann Régis-Gianas2014-11-05
* RichPp: New module.Gravatar Regis-Gianas2014-11-04
* Pp compiles after feedbackGravatar Enrico Tassi2014-07-29
* all coqide specific files moved into ide/Gravatar Enrico Tassi2014-06-25
* Moving a Thread.yield in check_interrupt.Gravatar Pierre-Marie Pédrot2014-06-07
* Adding a new Control file centralizing the control options of Coq.Gravatar Pierre-Marie Pédrot2014-06-07
* Adding a canary library. This canary is imperfect. It allows serializationGravatar Pierre-Marie Pédrot2014-03-05
* Added a new module HMap. It works (almost) like Map, except that it expectsGravatar Pierre-Marie Pédrot2014-03-05
* Adding a CSet module in Coq lib.Gravatar Pierre-Marie Pédrot2014-03-05
* Remove unsafe code (Obj.magic) in Tacinterp.Gravatar Arnaud Spiwack2014-02-27
* Remove useless Xml_utilsGravatar Pierre Letouzey2014-01-30
* clib.mllib: remove duplicated Flags entryGravatar Pierre Letouzey2014-01-30
* Aux_file: cache information at compile time for later (re)useGravatar Enrico Tassi2014-01-04
* Moving Searchstack to CStack, and normalizing names a bit.Gravatar ppedrot2013-09-06
* Added a more efficient way to recover the domain of a map.Gravatar ppedrot2013-08-25
* state_id data typeGravatar gareuselesinge2013-08-09
* Adding a persistent stream data structure.Gravatar ppedrot2013-05-28
* Added a generic notion of hook. Hooks are functions to be setGravatar ppedrot2013-05-12
* Uniformizing the [if_warn] flag used for warning printing and putGravatar ppedrot2013-05-08
* Coqide: Globalization feedback (proof of concept)Gravatar gareuselesinge2013-04-25
* Added a module of immutable arrays. Not as full as CArray, but shouldGravatar ppedrot2013-04-09
* Updated Exninfo to the new Store type.Gravatar ppedrot2013-03-12
* Added exception enrichment. Now one can define additional arbitraryGravatar ppedrot2013-02-18
* Added backtrace primitives.Gravatar ppedrot2013-01-28
* Moving hcons_string to String namespace.Gravatar ppedrot2012-12-14
* Added a CString module.Gravatar ppedrot2012-11-13
* Added an Int module with dummy utility functions.Gravatar ppedrot2012-11-08
* More cleanup of Util: utf8 aspects moved to a new file unicode.mlGravatar letouzey2012-09-18
* Cleaning interface of Util.Gravatar ppedrot2012-09-18
* As r15801: putting everything from Util.array_* to CArray.*.Gravatar ppedrot2012-09-14
* Moving Utils.list_* to a proper CList module, which includes stdlibGravatar ppedrot2012-09-14
* Moved Pp to CLib. In particular, Pp does not depend on CAMLP4/5Gravatar ppedrot2012-09-10
* correct some ends of .mllib files (avoid a broken tolink.ml)Gravatar letouzey2012-08-24
* Put Option in ClibGravatar pboutill2012-07-20
* Added a Deque module to CLib (to be used in CoqIDE).Gravatar ppedrot2012-06-26
* Revert copy/pasted function in to minilib thanks to clib.cmaGravatar pboutill2012-05-23
* lib directory is cut in 2 cma.Gravatar pboutill2012-04-12