| Age | Commit message (Expand) | Author |
|---|
| 2013-10-24 | More monomorphic List.mem + List.assoc + ... | letouzey |
| 2013-10-23 | cList.index is now cList.index_f, same for index0 | letouzey |
| 2013-10-23 | cList: set-as-list functions are now with an explicit comparison | letouzey |
| 2013-09-19 | Get rid of the uses of deprecated OCaml elements (still remaining compatible ... | xclerc |
| 2013-09-02 | Removing more association lists in Constrintern. | ppedrot |
| 2013-08-25 | Actually using the domain function for maps. | ppedrot |
| 2013-08-08 | Support Proof General | gareuselesinge |
| 2013-08-07 | Removing association lists in Constrintern. | ppedrot |
| 2013-08-03 | Replacing uses of association lists by maps in notations. | ppedrot |
| 2013-06-25 | Useless use of maps in constr internalizing. | ppedrot |
| 2013-06-24 | Using the whole tactic environment while Pretyping. | ppedrot |
| 2013-06-22 | Generalizing the use of maps instead of lists in the interpretation | ppedrot |
| 2013-05-09 | A uniformization step around understand_* and interp_* functions. | herbelin |
| 2013-05-08 | Uniformizing the [if_warn] flag used for warning printing and put | ppedrot |
| 2013-05-08 | Alert when using ".." outside a Notation command. | herbelin |
| 2013-04-29 | Merging Context and Sign. | ppedrot |
| 2013-04-25 | Coqide: Globalization feedback (proof of concept) | gareuselesinge |
| 2013-03-19 | Removing the module Libtypes and unifying the Search[Pattern|Rewrite]? | ppedrot |
| 2013-03-13 | Restrict (try...with...) to avoid catching critical exn (part 8) | letouzey |
| 2013-03-12 | Restrict (try...with...) to avoid catching critical exn (part 3) | letouzey |
| 2013-01-28 | Actually adding backtrace handling. | ppedrot |
| 2013-01-28 | Uniformization of the "anomaly" command. | ppedrot |
| 2013-01-21 | Fix bug 2958: Inductive deep in in clause are impossible | pboutill |
| 2012-12-18 | Modulification of name | ppedrot |
| 2012-12-17 | Fixed interpretation of "x" as a binding variable for the return | herbelin |
| 2012-12-14 | Modulification of identifier | ppedrot |
| 2012-12-14 | Implemented a full-fledged equality on [constr_expr]. By the way, | ppedrot |
| 2012-12-13 | Renamed Option.Misc.compare to the more uniform Option.equal. | ppedrot |
| 2012-12-04 | Backtrack on activating scopes with type casts (was r15978). | herbelin |
| 2012-11-25 | Monomorphization (interp) | ppedrot |
| 2012-11-25 | More equality functions | ppedrot |
| 2012-11-17 | Taking into account the type of a definition (if it exists), and the | herbelin |
| 2012-11-13 | Added a CString module. | ppedrot |
| 2012-11-08 | Monomorphized a lot of equalities over OCaml integers, thanks to | ppedrot |
| 2012-10-02 | Remove some more "open" and dead code thanks to OCaml4 warnings | letouzey |
| 2012-09-14 | As r15801: putting everything from Util.array_* to CArray.*. | ppedrot |
| 2012-09-14 | Moving Utils.list_* to a proper CList module, which includes stdlib | ppedrot |
| 2012-09-14 | This patch removes unused "open" (automatically generated from | regisgia |
| 2012-08-08 | Updating headers. | herbelin |
| 2012-07-21 | Improving management of notations with binders (see #2708 where a | herbelin |
| 2012-06-22 | Added an indirection with respect to Loc in Compat. As many [open Compat] | ppedrot |
| 2012-06-14 | Internalization of pattern is done in two phases. | pboutill |
| 2012-06-04 | Forward-port fixes from 8.4 (15358, 15353, 15333). | msozeau |
| 2012-05-29 | global_reference migrated from Libnames to new Globnames, less deps in gramma... | letouzey |
| 2012-05-29 | Basic stuff about constr_expr migrated from topconstr to constrexpr_ops | letouzey |
| 2012-05-29 | Stuff about notation_constr (ex-aconstr) now in notation_ops.ml | letouzey |
| 2012-05-29 | Pattern as a mli-only file, operations in Patternops | letouzey |
| 2012-05-29 | New files intf/constrexpr.mli and intf/notation_term.mli out of Topconstr | letouzey |
| 2012-05-29 | Glob_term now mli-only, operations now in Glob_ops | letouzey |
| 2012-05-29 | locus.mli for occurrences+clauses, misctypes.mli for various little things | letouzey |
