aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/sentence.ml
Commit message (Expand)AuthorAge
* 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