aboutsummaryrefslogtreecommitdiff
path: root/ide/tags.ml
AgeCommit message (Expand)Author
2013-12-24CoqIDE: new feedback "incomplete" to signal partial QedEnrico Tassi
2013-10-11CoqIDE: make error background configurablegareuselesinge
2013-10-11CoqIDE: single underline for errorsgareuselesinge
2013-10-10CoqIDE: a comment is not a sentencegareuselesinge
2013-09-30CoqIDE ported to the revides protocolgareuselesinge
2013-08-11Automatic backtracking if locked zone is editedgareuselesinge
2013-08-08Coqide ported to STMgareuselesinge
2013-04-25Coqide: new tag "tooltip" for the Script windowgareuselesinge
2013-03-19Adding color for warnings in CoqIDEppedrot
2012-12-10Coqide: restore the tag removal of copy-pasted zonesletouzey
2012-09-06Nice output of SearchAbout command in CoqIDEppedrot
2012-08-24Modification of the unjustified tag.aspiwack
2012-08-08Updating headers.herbelin
2012-05-02Coqide coq lexer put one tag at the end of a sentence.pboutill
2012-05-02Source language and style are preferencespboutill
2012-04-23Now CoqIDE has a nice find & replace mechanism. BTW, removing a blob of dead ...ppedrot
2012-03-28A revolution has come: CoqIDE, now in color. Fixes bug #2704 btw.ppedrot
2010-07-24Updated all headers for 8.3 and trunkherbelin
2010-04-29Remove the svn-specific $Id$ annotationsletouzey
2010-02-25Changes in lexing and tagging.vgross
2009-11-23Ergonomy and robustness fixvgross
2009-11-13new handling for lexical structures.vgross
2009-10-16note for later : when the tag table is shared, never, ever create twovgross
2009-09-17Delete trailing whitespaces in all *.{v,ml*} filesglondu
2009-09-14tags refactoringvgross
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-10 18:50:03 +0000