aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/coq_lex.mll
Commit message (Expand)AuthorAge
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-27 09:33:34 +0000