aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/sentence.ml
Commit message (Expand)AuthorAge
* A new infrastructure for warnings.Gravatar Maxime Dénès2016-06-29
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-21
|\
| * Update copyright headers.Gravatar Maxime Dénès2016-01-20
* | Remove useless rec flags.Gravatar Guillaume Melquiond2016-01-02
|/
* Update headers.Gravatar Maxime Dénès2015-01-12
* fix parsing of ---- +++++ ***** in CoqIDEGravatar Enrico Tassi2014-10-23
* Fixing ml-doc.Gravatar Pierre-Marie Pédrot2014-05-01
* CoqIDE: error reporting fixedGravatar gareuselesinge2013-10-10
* CoqIDE: a comment is not a sentenceGravatar gareuselesinge2013-10-10
* CoqIDE ported to the revides protocolGravatar gareuselesinge2013-09-30
* Coq_lex: direct accounting of utf8 extra bytes in offsetsGravatar letouzey2012-12-11
* Coqide: restore the tag removal of copy-pasted zonesGravatar letouzey2012-12-10
* Coqide: some more refactoring to lighten coqide.mlGravatar letouzey2012-12-10