| Age | Commit message (Expand) | Author |
|---|
| 2020-06-02 | Move CoqIDE to its own folder | Maxime Dénès |
| 2020-03-18 | Update headers in the whole code base. | Théo Zimmermann |
| 2019-06-24 | Merge PR #10394: [ide] chop sentences taking into account QUOTATION token | Pierre-Marie Pédrot |
| 2019-06-19 | [ide] chop sentences taking into account QUOTATION token | Enrico Tassi |
| 2019-06-17 | Update ml-style headers to new year. | Théo Zimmermann |
| 2018-08-27 | Add support for focusing on named goals using brackets. | Théo Zimmermann |
| 2018-02-27 | Update headers following #6543. | Théo Zimmermann |
| 2018-01-26 | allow vernacular controls before focus selector, issue #6587 | Paul Steckler |
| 2018-01-05 | Brackets support single numbered goal selectors. | Théo Zimmermann |
| 2017-07-04 | Bump year in headers. | Pierre-Marie Pédrot |
| 2016-01-20 | Update copyright headers. | Maxime Dénès |
| 2015-01-12 | Update headers. | Maxime Dénès |
| 2014-10-22 | CoqIDE: fix parsing of multicharacter bullets | Enrico Tassi |
| 2014-10-22 | Fix the way lexeme start is computed (Close 3737) | Enrico Tassi |
| 2014-08-05 | CoqIDE: fixing parsing of bullets and brackets even at end of file. | Hugo Herbelin |
| 2014-08-05 | Uncountably many bullets (+,-,*,++,--,**,+++,...). | Hugo Herbelin |
| 2013-10-10 | CoqIDE: a comment is not a sentence | gareuselesinge |
| 2012-12-11 | Coq_lex: direct accounting of utf8 extra bytes in offsets | letouzey |
| 2012-12-07 | Nicer code around Coq_lex | letouzey |
| 2012-08-10 | Fixes bug #2857. | aspiwack |
| 2012-08-08 | Updating headers. | herbelin |
| 2012-06-15 | Fix coqide vernac lexer | pboutill |
| 2012-05-02 | Coqide coq lexer put one tag at the end of a sentence. | pboutill |
| 2012-04-12 | Coqide minor enhancements | pboutill |
| 2012-03-23 | A unified backtrack mechanism, with a basic "Show Script" as side-effect | letouzey |
| 2011-12-16 | Coqide: adapt some comments now that bullets are terminators like { } | letouzey |
| 2011-12-16 | Adapting coqide to my last commit: | courtieu |
| 2011-08-09 | Coqide: revised parsing of coq sentences | letouzey |
| 2011-07-26 | ide/coq_lex.mll: restore the separate parsing of .. (fix #2578) | letouzey |
| 2011-07-25 | Coqide: fixes and clarifications concerning sentence-terminators | letouzey |
| 2011-07-07 | Bug 2217: In coqide, a comment alone is now a sentence that isn't send to coq | pboutill |
| 2011-07-07 | Coqide understand { and } | pboutill |
| 2011-05-18 | Coqide: allow the use of Abort (grant wish #2357) | letouzey |
| 2011-04-06 | Add 'Existing Instances' declaration to declare multiple instances at once. | letouzey |
| 2010-07-24 | Updated all headers for 8.3 and trunk | herbelin |
| 2010-06-22 | fix bug #2318, parsing error on dos line endings | vgross |
| 2010-04-29 | Remove the svn-specific $Id$ annotations | letouzey |
| 2010-02-25 | Changes in lexing and tagging. | vgross |
| 2010-02-19 | Fixing compilation issues | vgross |
