aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/clib.mllib
Commit message (Expand)AuthorAge
* Merge PR#406: coq makefile2Gravatar Maxime Dénès2017-05-25
|\
| * ide/project_file.ml4 -> lib/coqProject_file.ml4 + .mliGravatar Enrico Tassi2017-05-23
* | [location] [ast] Switch Constrexpr AST to an extensible node type.Gravatar Emilio Jesus Gallego Arias2017-04-25
|/
* [pp] Move terminal-specific tagging to the toplevel.Gravatar Emilio Jesus Gallego Arias2017-03-21
* [pp] Make feedback the only logging mechanism.Gravatar Emilio Jesus Gallego Arias2017-03-21
* Please never mention .mli-only file in *.mllib (or future *.mlpack)Gravatar Pierre Letouzey2016-06-02
* Move ide serialization libraries from lib/ to ide/Gravatar Emilio Jesus Gallego Arias2016-06-02
* Feedback cleanupGravatar Emilio Jesus Gallego Arias2016-05-31
* Merge remote-tracking branch 'origin/v8.5' into trunkGravatar Guillaume Melquiond2016-01-06
|\
| * Fix order of files in mllib.Gravatar Maxime Dénès2016-01-05
* | Factorizing unsafe code by relying on the new Dyn module.Gravatar Pierre-Marie Pédrot2015-12-05
| * Moved fatal_error from Coqtop to Errors and corrected dependencies accordingly.Gravatar Thomas Sibut-Pinote2015-06-25
* | Moved fatal_error from Coqtop to Errors and corrected dependencies accordingly.Gravatar Thomas Sibut-Pinote2015-06-23
|/
* 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