aboutsummaryrefslogtreecommitdiff
path: root/ide/tags.mli
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
2018-02-27Update headers following #6543.Théo Zimmermann
2017-10-22Little code restructuration in CoqIDE tags.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-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-10CoqIDE: a comment is not a sentencegareuselesinge
2013-09-30CoqIDE ported to the revides protocolgareuselesinge
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-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-04-11Added a background color configuration option in CoqIDE.ppedrot
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 14:27:34 +0000