aboutsummaryrefslogtreecommitdiffhomepage
path: root/toplevel/coqloop.mli
Commit message (Expand)AuthorAge
* [emacs] [toplevel] Make emacs flag local to the toplevel.Gravatar Emilio Jesus Gallego Arias2017-06-01
* Remove unused [open] statementsGravatar Gaetan Gilbert2017-04-27
* [stm] Port the toplevel to the STM.Gravatar Emilio Jesus Gallego Arias2017-04-12
* [toplevel] Remove exception error printer in favor of feedback printer.Gravatar Emilio Jesus Gallego Arias2017-04-05
* [pp] Make feedback the only logging mechanism.Gravatar Emilio Jesus Gallego Arias2017-03-21
* [safe_string] toplevel/coqloopGravatar Emilio Jesus Gallego Arias2017-03-14
* Attaching all extra imperative components of the lexer/parser state toGravatar Hugo Herbelin2016-10-09
* Update copyright headers.Gravatar Maxime Dénès2016-01-20
* Update headers.Gravatar Maxime Dénès2015-01-12
* Getting rid of Exninfo hacks.Gravatar Pierre-Marie Pédrot2014-12-16
* Remove many superfluous 'open' indicated by ocamlc -w +33Gravatar Pierre Letouzey2014-03-05
* A few fixes to the build system (mostly for ocamlbuild)Gravatar Pierre Letouzey2013-12-16