aboutsummaryrefslogtreecommitdiff
path: root/ide/coq_lex.mll
AgeCommit message (Expand)Author
2013-10-10CoqIDE: a comment is not a sentencegareuselesinge
2012-12-11Coq_lex: direct accounting of utf8 extra bytes in offsetsletouzey
2012-12-07Nicer code around Coq_lexletouzey
2012-08-10Fixes bug #2857.aspiwack
2012-08-08Updating headers.herbelin
2012-06-15Fix coqide vernac lexerpboutill
2012-05-02Coqide coq lexer put one tag at the end of a sentence.pboutill
2012-04-12Coqide minor enhancementspboutill
2012-03-23A unified backtrack mechanism, with a basic "Show Script" as side-effectletouzey
2011-12-16Coqide: adapt some comments now that bullets are terminators like { }letouzey
2011-12-16Adapting coqide to my last commit: courtieu
2011-08-09Coqide: revised parsing of coq sentencesletouzey
2011-07-26ide/coq_lex.mll: restore the separate parsing of .. (fix #2578)letouzey
2011-07-25Coqide: fixes and clarifications concerning sentence-terminatorsletouzey
2011-07-07Bug 2217: In coqide, a comment alone is now a sentence that isn't send to coqpboutill
2011-07-07Coqide understand { and }pboutill
2011-05-18Coqide: allow the use of Abort (grant wish #2357)letouzey
2011-04-06Add 'Existing Instances' declaration to declare multiple instances at once.letouzey
2010-07-24Updated all headers for 8.3 and trunkherbelin
2010-06-22fix bug #2318, parsing error on dos line endingsvgross
2010-04-29Remove the svn-specific $Id$ annotationsletouzey
2010-02-25Changes in lexing and tagging.vgross
2010-02-19Fixing compilation issuesvgross
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-25 23:10:28 +0000