aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/util.mli
Commit message (Expand)AuthorAge
* Adding a new Control file centralizing the control options of Coq.Gravatar Pierre-Marie Pédrot2014-06-07
* Removing dead code, thanks to new OCaml warnings and a bit of scripting.Gravatar Pierre-Marie Pédrot2014-04-23
* Adding a CSet module in Coq lib.Gravatar Pierre-Marie Pédrot2014-03-05
* Clib: fold_left_until added to CListGravatar gareuselesinge2013-10-10
* Moving Searchstack to CStack, and normalizing names a bit.Gravatar ppedrot2013-09-06
* Removing some lone List.assoc & List.mem in lib.Gravatar ppedrot2013-08-28
* Added a more efficient way to recover the domain of a map.Gravatar ppedrot2013-08-25
* Changing the type of Ltac values. Now they are toplevel genericGravatar ppedrot2013-06-12
* Moved Stringset and Stringmap to String namespace.Gravatar ppedrot2012-12-14
* Moved Intset and Intmap to Int namespace.Gravatar ppedrot2012-12-14
* Added a CString module.Gravatar ppedrot2012-11-13
* More cleanup of Util: utf8 aspects moved to a new file unicode.mlGravatar letouzey2012-09-18
* Cleaning interface of Util.Gravatar ppedrot2012-09-18
* More cleaning on Utils and CList. Some parts of the code beingGravatar ppedrot2012-09-17
* As r15801: putting everything from Util.array_* to CArray.*.Gravatar ppedrot2012-09-14
* Added some tricky tail-rec versions of List functions to CListGravatar ppedrot2012-09-14
* Moving Utils.list_* to a proper CList module, which includes stdlibGravatar ppedrot2012-09-14
* Updating headers.Gravatar herbelin2012-08-08
* Revert copy/pasted function in to minilib thanks to clib.cmaGravatar pboutill2012-05-23
* Adding newline after warning and restoring distinction betweenGravatar herbelin2012-04-15
* Unification: Added a heuristic to solve problems of the formGravatar herbelin2012-03-26
* Reorganizing the structure of evarutil.ml (only restructuration, noGravatar herbelin2012-03-20
* Yet another subtlety with bug 2732: when several grammar rules of aGravatar herbelin2012-03-18
* Second step of integration of Program:Gravatar msozeau2012-03-14
* Noise for nothingGravatar pboutill2012-03-02
* Added ability to take the type of applied metas into account whenGravatar herbelin2011-12-17
* Finally used typing to decide whether an alias needs to be expanded orGravatar herbelin2011-11-28
* Added list_map_filter_iGravatar msozeau2011-08-10
* Refl_omega: replaced some generic = on constr by eq_constrGravatar puech2011-07-29
* Coq_omega: replaced generic = on constr by eq_constrGravatar puech2011-07-29
* Evarutil: generic equality on constr replaced by eq_constr (x2)Gravatar puech2011-07-29
* Tactics: generic equality on constr replaced by eq_constrGravatar puech2011-07-29
* More work on error handlingGravatar letouzey2011-05-17
* Starting being more explicit on the reasons why module subtyping fails.Gravatar herbelin2011-03-05
* - Fix treatment of globality flag for typeclass instance hints (theyGravatar msozeau2011-02-14
* Added multiple implicit arguments rules per name.Gravatar herbelin2010-10-03
* Fixed a bug introduced (r13316/r13329) in the printing of notationsGravatar herbelin2010-07-29
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* Constrintern: unified push_name_env and push_loc_name_env; madeGravatar herbelin2010-07-22
* Move [delayed] to util and use [force_delayed] everywhere to forceGravatar msozeau2010-06-30
* New script dev/tools/change-header to automatically update Coq files headers.Gravatar herbelin2010-06-22
* Extraction: replace unicode characters in ident by ascii encodings (fix #2158...Gravatar letouzey2010-06-21
* Fixing spelling: pr_coma -> pr_commaGravatar herbelin2010-06-12
* Fix treatment of {struct x} annotations in presence of generalizedGravatar msozeau2010-06-08
* Add (almost) compatibility with camlp4, without breaking support for camlp5Gravatar letouzey2010-05-19
* Nicer representation of tokens, more independant of camlp*Gravatar letouzey2010-05-19
* Various minor improvements of comments in mli for ocamldocGravatar letouzey2010-04-29
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Move from ocamlweb to ocamdoc to generate mli documentationGravatar pboutill2010-04-29
* Added a new exception for already declared Schemes, Gravatar vsiles2010-04-27