| Age | Commit message (Expand) | Author |
|---|
| 2012-05-23 | Revert copy/pasted function in to minilib thanks to clib.cma | pboutill |
| 2012-04-15 | Adding newline after warning and restoring distinction between | herbelin |
| 2012-04-05 | Shortcuts and optimizations of comparisons | xclerc |
| 2012-03-26 | Unification: Added a heuristic to solve problems of the form | herbelin |
| 2012-03-20 | Reorganizing the structure of evarutil.ml (only restructuration, no | herbelin |
| 2012-03-18 | Yet another subtlety with bug 2732: when several grammar rules of a | herbelin |
| 2012-03-14 | Second step of integration of Program: | msozeau |
| 2012-03-02 | Noise for nothing | pboutill |
| 2011-12-17 | Added ability to take the type of applied metas into account when | herbelin |
| 2011-11-28 | Finally used typing to decide whether an alias needs to be expanded or | herbelin |
| 2011-09-05 | Util.error now creates UserError(_,msg) instead of UserError(str,str) | letouzey |
| 2011-08-10 | Added list_map_filter_i | msozeau |
| 2011-07-29 | Refl_omega: replaced some generic = on constr by eq_constr | puech |
| 2011-07-29 | Coq_omega: replaced generic = on constr by eq_constr | puech |
| 2011-07-29 | Evarutil: generic equality on constr replaced by eq_constr (x2) | puech |
| 2011-07-29 | Tactics: generic equality on constr replaced by eq_constr | puech |
| 2011-07-22 | For the beauty of tail recursion, a new list_addn | pboutill |
| 2011-05-17 | More work on error handling | letouzey |
| 2011-03-05 | Starting being more explicit on the reasons why module subtyping fails. | herbelin |
| 2011-02-14 | - Fix treatment of globality flag for typeclass instance hints (they | msozeau |
| 2010-10-03 | Added multiple implicit arguments rules per name. | herbelin |
| 2010-07-29 | Fixed a bug introduced (r13316/r13329) in the printing of notations | herbelin |
| 2010-07-22 | Constrintern: unified push_name_env and push_loc_name_env; made | herbelin |
| 2010-07-20 | Fixed a bug in list_forall2eq (wrong exception was caught). | herbelin |
| 2010-06-30 | Move [delayed] to util and use [force_delayed] everywhere to force | msozeau |
| 2010-06-21 | Extraction: replace unicode characters in ident by ascii encodings (fix #2158... | letouzey |
| 2010-06-12 | Fixing spelling: pr_coma -> pr_comma | herbelin |
| 2010-06-08 | Fix treatment of {struct x} annotations in presence of generalized | msozeau |
| 2010-05-19 | Add (almost) compatibility with camlp4, without breaking support for camlp5 | letouzey |
| 2010-05-19 | Nicer representation of tokens, more independant of camlp* | letouzey |
| 2010-04-29 | Remove the svn-specific $Id$ annotations | letouzey |
| 2010-04-27 | Added a new exception for already declared Schemes, | vsiles |
| 2010-04-19 | Reduced the complexity of evar instantiations from O(n^3) to less than O(n^2). | herbelin |
| 2010-04-16 | Util: remove list_split_at which is a clone of list_chop | letouzey |
| 2010-02-15 | Util.lowercase_unicode: avoid creating the segmenttree each time (speeds some... | letouzey |
| 2010-02-10 | Fix [Existing Class] impl and add documentation. Fix computation of the | msozeau |
| 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-11-15 | Document Generalizable Variables, and change syntax to | msozeau |
| 2009-11-13 | Make usages of the Obj module explicit | glondu |
| 2009-11-12 | Experiment propagation of implicit arguments and arguments scope for | herbelin |
| 2009-10-29 | Revision 12439 continued, printing part (notations to names behave | herbelin |
| 2009-10-28 | Integrate a few improvements on typeclasses and Program from the equations br... | msozeau |
| 2009-09-26 | Fixed a hole in glob_tactic that allowed some Ltac code to refer to | herbelin |
| 2009-09-17 | Delete trailing whitespaces in all *.{v,ml*} files | glondu |
| 2009-09-11 | Generalized the possibility to refer to a global name by a notation | herbelin |
| 2009-06-10 | Accept more Unicode symbols | glondu |
| 2009-05-09 | - Adding "Hint Resolve ->" and "Hint Resolve <-" for declaration of equivalence | herbelin |
| 2009-04-16 | comparison functions on lists and arrays | barras |
| 2009-04-08 | A first pearl found by the Oug analyzer: there were two list_map_i in Util | letouzey |
