| Age | Commit message (Expand) | Author |
|---|
| 2014-02-24 | app_node, stack, state printers | Pierre Boutillier |
| 2014-01-11 | 'Pretty' printer for wf_paths | Pierre |
| 2014-01-08 | Fix base_include: Toplevel-->Coqloop, Constrintern.intern_constr without evd | Pierre Letouzey |
| 2014-01-04 | Aux_file: cache information at compile time for later (re)use | Enrico Tassi |
| 2013-12-30 | Support for evars and metas in native compiler. | Maxime Dénès |
| 2013-12-22 | Notations now accept the $(...)$ tactic-in-term syntax. They are resolved at | Pierre-Marie Pédrot |
| 2013-12-20 | configure.ml: our configure script is now written in ML :-) | Pierre Letouzey |
| 2013-11-30 | Adding printing of ltac envs to debugger. | Pierre-Marie Pédrot |
| 2013-11-27 | Adding generic solvers to term holes. For now, no resolution mechanism nor | Pierre-Marie Pédrot |
| 2013-11-25 | Remove the Hiddentac module. | Arnaud Spiwack |
| 2013-11-18 | A file listing old svn branches and tags | letouzey |
| 2013-11-02 | Replaced monads.ml by an essentially equivalent proofview_gen.ml generated by... | aspiwack |
| 2013-11-02 | Removes Refine from the dev tools now that the module has been deleted. | aspiwack |
| 2013-10-31 | Conv_orable made functional and part of pre_env | gareuselesinge |
| 2013-10-29 | - install evar printer for debugging | msozeau |
| 2013-10-18 | Ephemeron: marshaling friendly keys | gareuselesinge |
| 2013-09-24 | Adding evar printing to debugger. | ppedrot |
| 2013-09-18 | At least made the evar type opaque! There are still 5 remaining unsafe | ppedrot |
| 2013-09-06 | Moving Searchstack to CStack, and normalizing names a bit. | ppedrot |
| 2013-08-25 | Added a more efficient way to recover the domain of a map. | ppedrot |
| 2013-08-20 | Fix compilation of dev/printres.cma | gareuselesinge |
| 2013-08-08 | State Transaction Machine | gareuselesinge |
| 2013-08-08 | Future library to represent pure computations | gareuselesinge |
| 2013-08-04 | Small cleaning of printing coercion failures in Ltac interpretation. | ppedrot |
| 2013-07-05 | Removing SortArgType. | ppedrot |
| 2013-07-05 | Expurgating the useless difference between List0 and List1 at the | ppedrot |
| 2013-07-02 | Removing the use of leveled tactics wit_tacticn. It is now handled | ppedrot |
| 2013-06-27 | Getting rid of IntroPatternArgType. | ppedrot |
| 2013-06-21 | Splitted up Genarg in four different levels: | ppedrot |
| 2013-06-21 | Cutting the dependency of Genarg in constr_expr, glob_constr | ppedrot |
| 2013-06-19 | Adding genarg printer to debugger. | ppedrot |
| 2013-06-18 | Proof-of-concept: moved four easy-to-handle generic arguments to | ppedrot |
| 2013-06-12 | Added Genarg as generic argument type. | ppedrot |
| 2013-06-06 | Uniformizing generic argument types. | ppedrot |
| 2013-05-28 | Adding a persistent stream data structure. | ppedrot |
| 2013-05-14 | Gmap is now useless, hail to Map! | ppedrot |
| 2013-05-14 | Removing useless uses of Gmap. | ppedrot |
| 2013-05-14 | Removing Fmap from libraries, it is not used anymore. | ppedrot |
| 2013-05-12 | Removing Fset, since it is not used anymore. | ppedrot |
| 2013-05-12 | Added a generic notion of hook. Hooks are functions to be set | ppedrot |
| 2013-05-09 | Getting rid of module Gmapl. | ppedrot |
| 2013-05-09 | A uniformization step around understand_* and interp_* functions. | herbelin |
| 2013-05-09 | add Loadpath to printers.mllib | gareuselesinge |
| 2013-04-29 | Merging Context and Sign. | ppedrot |
| 2013-04-29 | Splitting Term into five unrelated interfaces: | ppedrot |
| 2013-04-03 | Fix for bug #3017: wrong handling of the unresolvability status | msozeau |
| 2013-03-21 | Robust display of NotConvertibleTypeField errors (fix #3008, #2995) | letouzey |
| 2013-03-12 | Updated Exninfo to the new Store type. | ppedrot |
| 2013-02-27 | Update debug code according to reorganization into modules. | msozeau |
| 2013-02-27 | remove a warning after Drop about print_hint_db | letouzey |
