aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/tags.mli
Commit message (Expand)AuthorAge
* Update headers following #6543.Gravatar Théo Zimmermann2018-02-27
* Little code restructuration in CoqIDE tags.Gravatar Hugo Herbelin2017-10-22
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* A new infrastructure for warnings.Gravatar Maxime Dénès2016-06-29
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-21
|\
| * Update copyright headers.Gravatar Maxime Dénès2016-01-20
* | Using the new preference mechanism for colors in CoqIDE.Gravatar Pierre-Marie Pédrot2015-08-16
|/
* CoqIDE: simpler way of reopening/reclosing a proof (Close: 4168)Gravatar Enrico Tassi2015-04-02
* Attempt to be more colorblind friendly in CoqIDE (Close #4024)Gravatar Enrico Tassi2015-02-14
* Update headers.Gravatar Maxime Dénès2015-01-12
* CoqIDE: new feedback "incomplete" to signal partial QedGravatar Enrico Tassi2013-12-24
* CoqIDE: make error background configurableGravatar gareuselesinge2013-10-11
* CoqIDE: a comment is not a sentenceGravatar gareuselesinge2013-10-10
* CoqIDE ported to the revides protocolGravatar gareuselesinge2013-09-30
* Coqide ported to STMGravatar gareuselesinge2013-08-08
* Coqide: new tag "tooltip" for the Script windowGravatar gareuselesinge2013-04-25
* Adding color for warnings in CoqIDEGravatar ppedrot2013-03-19
* Coqide: restore the tag removal of copy-pasted zonesGravatar letouzey2012-12-10
* Nice output of SearchAbout command in CoqIDEGravatar ppedrot2012-09-06
* Updating headers.Gravatar herbelin2012-08-08
* Coqide coq lexer put one tag at the end of a sentence.Gravatar pboutill2012-05-02
* Source language and style are preferencesGravatar pboutill2012-05-02
* Now CoqIDE has a nice find & replace mechanism. BTW, removing a blob of dead ...Gravatar ppedrot2012-04-23
* Added a background color configuration option in CoqIDE.Gravatar ppedrot2012-04-11
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-04 05:49:52 +0000