| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Correct rebase on STM code. Thanks to E. Tassi for help on dealing with |  Matthieu Sozeau | 2014-05-06 |
| * | This commit adds full universe polymorphism and fast projections to Coq. | Matthieu Sozeau | 2014-05-06 |
| * | invalid_arg instead of raise (Invalid_argement ...) |  letouzey | 2013-03-12 |
| * | Dir_path --> DirPath | letouzey | 2013-02-19 |
| * | Minor code cleanups, especially take advantage of Dir_path.is_empty | letouzey | 2013-02-18 |
| * | Uniformization of the "anomaly" command. |  ppedrot | 2013-01-28 |
| * | Modulification of dir_path | ppedrot | 2012-12-14 |
| * | Modulification of identifier | ppedrot | 2012-12-14 |
| * | Remove some more "open" and dead code thanks to OCaml4 warnings | letouzey | 2012-10-02 |
| * | This patch removes unused "open" (automatically generated from |  regisgia | 2012-09-14 |
| * | Updating headers. |  herbelin | 2012-08-08 |
| * | global_reference migrated from Libnames to new Globnames, less deps in gramma... | letouzey | 2012-05-29 |
| * | Everything compiles again. |  msozeau | 2012-03-14 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |