| Age | Commit message (Expand) | Author |
|---|---|---|
| 2017-06-01 | [emacs] [toplevel] Make emacs flag local to the toplevel. | Emilio Jesus Gallego Arias |
| 2017-04-27 | Remove unused [open] statements | Gaetan Gilbert |
| 2017-04-12 | [stm] Port the toplevel to the STM. | Emilio Jesus Gallego Arias |
| 2017-04-05 | [toplevel] Remove exception error printer in favor of feedback printer. | Emilio Jesus Gallego Arias |
| 2017-03-21 | [pp] Make feedback the only logging mechanism. | Emilio Jesus Gallego Arias |
| 2017-03-14 | [safe_string] toplevel/coqloop | Emilio Jesus Gallego Arias |
| 2016-10-09 | Attaching all extra imperative components of the lexer/parser state to | Hugo Herbelin |
| 2016-01-20 | Update copyright headers. | Maxime Dénès |
| 2015-01-12 | Update headers. | Maxime Dénès |
| 2014-12-16 | Getting rid of Exninfo hacks. | Pierre-Marie Pédrot |
| 2014-03-05 | Remove many superfluous 'open' indicated by ocamlc -w +33 | Pierre Letouzey |
| 2013-12-16 | A few fixes to the build system (mostly for ocamlbuild) | Pierre Letouzey |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |