| Age | Commit message (Expand) | Author |
|---|
| 2018-06-18 | Remove reference name type. | Maxime Dénès |
| 2018-04-24 | Remove DirClosedSection. | Jasper Hugunin |
| 2018-03-09 | [located] Push inner locations in `reference` to a CAst.t node. | Emilio Jesus Gallego Arias |
| 2018-02-27 | Update headers following #6543. | Théo Zimmermann |
| 2017-12-18 | Merge PR #6284: Warning for absolute name masking (deprecated, should become ... | Maxime Dénès |
| 2017-12-01 | Proper nametab handling of global universe names | Matthieu Sozeau |
| 2017-11-30 | Warning for absolute name masking (making it deprecated, should become | Matthieu Sozeau |
| 2017-11-29 | [lib] [api] Introduce record for `object_prefix` | Emilio Jesus Gallego Arias |
| 2017-10-03 | Moving the Ltac-specific part of the nametab to the Ltac plugin. | Pierre-Marie Pédrot |
| 2017-07-04 | Bump year in headers. | Pierre-Marie Pédrot |
| 2017-06-02 | Drop '.' from CErrors.anomaly, insert it in args | Jason Gross |
| 2017-05-27 | [cleanup] Unify all calls to the error function. | Emilio Jesus Gallego Arias |
| 2017-04-25 | [location] Make location optional in Loc.located | Emilio Jesus Gallego Arias |
| 2016-08-19 | Make the user_err header an optional parameter. | Emilio Jesus Gallego Arias |
| 2016-08-19 | Unify location handling of error functions. | Emilio Jesus Gallego Arias |
| 2016-07-03 | errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod... | Pierre Letouzey |
| 2016-06-29 | A new infrastructure for warnings. | Maxime Dénès |
| 2016-05-31 | Feedback cleanup | Emilio Jesus Gallego Arias |
| 2016-01-21 | Merge branch 'v8.5' | Pierre-Marie Pédrot |
| 2016-01-20 | Update copyright headers. | Maxime Dénès |
| 2015-12-22 | Do not compose "str" and "to_string" whenever possible. | Guillaume Melquiond |
| 2015-09-20 | Nametab: print debug notice only in debug mode. | Maxime Dénès |
| 2015-01-12 | Update headers. | Maxime Dénès |
| 2014-12-09 | Switch the few remaining iso-latin-1 files to utf8 | Pierre Letouzey |
| 2014-09-03 | Fixing bug #2818. | Pierre-Marie Pédrot |
| 2014-07-21 | Unifying locate code, also making it more powerful: it is now able to find | Pierre-Marie Pédrot |
| 2014-07-21 | Adding a new "Locate Term" command, distinct from the raw "Locate" command. | Pierre-Marie Pédrot |
| 2014-07-21 | More complete printing of Ltac location, akin to the term-dedicated Locate co... | Pierre-Marie Pédrot |
| 2014-04-23 | Removing dead code, thanks to new OCaml warnings and a bit of scripting. | Pierre-Marie Pédrot |
| 2014-03-20 | Missing equalities in Names-like structures. | Pierre-Marie Pédrot |
| 2014-03-08 | Using HMaps in global references. | Pierre-Marie Pédrot |
| 2014-02-03 | Allocation-friendly mapping functions in Nametab. | Pierre-Marie Pédrot |
| 2013-10-24 | More monomorphic List.mem + List.assoc + ... | letouzey |
| 2013-08-08 | State Transaction Machine | gareuselesinge |
| 2013-05-08 | Uniformizing the [if_warn] flag used for warning printing and put | ppedrot |
| 2013-05-06 | States: frozen states can hold closures | gareuselesinge |
| 2013-04-22 | code simplifications concerning Summary | letouzey |
| 2013-02-19 | Dir_path --> DirPath | letouzey |
| 2013-02-19 | module_path --> ModPath.t, kernel_name --> KerName.t | letouzey |
| 2013-02-19 | Names: revised representation of constants and mutual_inductive | letouzey |
| 2013-02-18 | Minor code cleanups, especially take advantage of Dir_path.is_empty | letouzey |
| 2013-01-28 | Uniformization of the "anomaly" command. | ppedrot |
| 2012-12-14 | Modulification of dir_path | ppedrot |
| 2012-12-14 | Modulification of identifier | ppedrot |
| 2012-11-22 | Monomorphization (library) | ppedrot |
| 2012-10-06 | avoid using rectypes in nametab.ml | letouzey |
| 2012-09-14 | Partial revert of Yann commit in order to use CLib.List when opening | ppedrot |
| 2012-09-14 | This patch removes unused "open" (automatically generated from | regisgia |
| 2012-09-14 | The new ocaml compiler (4.00) has a lot of very cool warnings, | regisgia |
| 2012-08-08 | Updating headers. | herbelin |
