aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/coq_lex.mll
Commit message (Expand)AuthorAge
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* Update copyright headers.Gravatar Maxime Dénès2016-01-20
* Update headers.Gravatar Maxime Dénès2015-01-12
* CoqIDE: fix parsing of multicharacter bulletsGravatar Enrico Tassi2014-10-22
* Fix the way lexeme start is computed (Close 3737)Gravatar Enrico Tassi2014-10-22
* CoqIDE: fixing parsing of bullets and brackets even at end of file.Gravatar Hugo Herbelin2014-08-05
* Uncountably many bullets (+,-,*,++,--,**,+++,...).Gravatar Hugo Herbelin2014-08-05
* CoqIDE: a comment is not a sentenceGravatar gareuselesinge2013-10-10
* Coq_lex: direct accounting of utf8 extra bytes in offsetsGravatar letouzey2012-12-11
* Nicer code around Coq_lexGravatar letouzey2012-12-07
* Fixes bug #2857.Gravatar aspiwack2012-08-10
* Updating headers.Gravatar herbelin2012-08-08
* Fix coqide vernac lexerGravatar pboutill2012-06-15
* Coqide coq lexer put one tag at the end of a sentence.Gravatar pboutill2012-05-02
* Coqide minor enhancementsGravatar pboutill2012-04-12
* A unified backtrack mechanism, with a basic "Show Script" as side-effectGravatar letouzey2012-03-23
* Coqide: adapt some comments now that bullets are terminators like { }Gravatar letouzey2011-12-16
* Adapting coqide to my last commit: Gravatar courtieu2011-12-16
* Coqide: revised parsing of coq sentencesGravatar letouzey2011-08-09
* ide/coq_lex.mll: restore the separate parsing of .. (fix #2578)Gravatar letouzey2011-07-26
* Coqide: fixes and clarifications concerning sentence-terminatorsGravatar letouzey2011-07-25
* Bug 2217: In coqide, a comment alone is now a sentence that isn't send to coqGravatar pboutill2011-07-07
* Coqide understand { and }Gravatar pboutill2011-07-07
* Coqide: allow the use of Abort (grant wish #2357)Gravatar letouzey2011-05-18
* Add 'Existing Instances' declaration to declare multiple instances at once.Gravatar letouzey2011-04-06
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* fix bug #2318, parsing error on dos line endingsGravatar vgross2010-06-22
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Changes in lexing and tagging.Gravatar vgross2010-02-25
* Fixing compilation issuesGravatar vgross2010-02-19