aboutsummaryrefslogtreecommitdiff
path: root/ide/tags.ml
AgeCommit message (Expand)Author
2019-06-17Update ml-style headers to new year.Théo Zimmermann
2019-03-19CoqIDE: Replacing deprecated color_of_string with color_parse.Hugo Herbelin
2019-03-19CoqIDE: Stippling using bitmap no more supported for incomplete Qed.Hugo Herbelin
2018-02-27Update headers following #6543.Théo Zimmermann
2017-10-22Little code restructuration in CoqIDE tags.Hugo Herbelin
2017-10-22An attempt to fix issue #5771 (error color hidden by warning color).Hugo Herbelin
2017-07-04Bump year in headers.Pierre-Marie Pédrot
2016-06-29A new infrastructure for warnings.Maxime Dénès
2016-01-21Merge branch 'v8.5'Pierre-Marie Pédrot
2016-01-20Update copyright headers.Maxime Dénès
2015-08-16Using the new preference mechanism for colors in CoqIDE.Pierre-Marie Pédrot
2015-04-02CoqIDE: simpler way of reopening/reclosing a proof (Close: 4168)Enrico Tassi
2015-02-17CoqIDE: read-only Qed sentence reflected in colors (Close: 4051)Enrico Tassi
2015-02-14CoqIDE: restore old default colorsEnrico Tassi
2015-02-14Attempt to be more colorblind friendly in CoqIDE (Close #4024)Enrico Tassi
2015-01-12Update headers.Maxime Dénès
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-01-31 14:00:02 +0000