aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/terminal.mli
Commit message (Expand)AuthorAge
* Adding support for bindings tags to explicit prefix/suffix rather than colors.Gravatar Hugo Herbelin2017-07-08
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* Update copyright headers.Gravatar Maxime Dénès2016-01-20
* The -list-tag options now prints the corresponding COQ_COLORS value.Gravatar Pierre-Marie Pédrot2015-05-14
* Update headers.Gravatar Maxime Dénès2015-01-12
* Adding a terminal library.Gravatar Pierre-Marie Pédrot2014-11-15