| Age | Commit message (Expand) | Author |
|---|---|---|
| 2019-07-03 | Remove unused variable_path (note secpath is still used) | Gaëtan Gilbert |
| 2019-07-03 | declare_variable: path is always Lib.cwd() | Gaëtan Gilbert |
| 2019-07-03 | Remove unused Decls.variable_{context,polymorphic} | Gaëtan Gilbert |
| 2019-07-01 | [decls] Remove goal_object_kind type. | Emilio Jesus Gallego Arias |
| 2019-07-01 | [dumpglob] Move dumpglob-specific data to dumpglob. | Emilio Jesus Gallego Arias |
| 2019-07-01 | [api] Refactor most of `Decl_kinds` | Emilio Jesus Gallego Arias |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |