Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Remove unused [open] statements | 2017-04-27 | |
* | [stm] Port the toplevel to the STM. | 2017-04-12 | |
* | [toplevel] Remove exception error printer in favor of feedback printer. | 2017-04-05 | |
* | [pp] Make feedback the only logging mechanism. | 2017-03-21 | |
* | [safe_string] toplevel/coqloop | 2017-03-14 | |
* | Attaching all extra imperative components of the lexer/parser state to | 2016-10-09 | |
* | Update copyright headers. | 2016-01-20 | |
* | Update headers. | 2015-01-12 | |
* | Getting rid of Exninfo hacks. | 2014-12-16 | |
* | Remove many superfluous 'open' indicated by ocamlc -w +33 | 2014-03-05 | |
* | A few fixes to the build system (mostly for ocamlbuild) | 2013-12-16 |