index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
ide
/
tags.mli
Commit message (
Expand
)
Author
Age
*
Update headers following #6543.
Théo Zimmermann
2018-02-27
*
Little code restructuration in CoqIDE tags.
Hugo Herbelin
2017-10-22
*
Bump year in headers.
Pierre-Marie Pédrot
2017-07-04
*
A new infrastructure for warnings.
Maxime Dénès
2016-06-29
*
Merge branch 'v8.5'
Pierre-Marie Pédrot
2016-01-21
|
\
|
*
Update copyright headers.
Maxime Dénès
2016-01-20
*
|
Using the new preference mechanism for colors in CoqIDE.
Pierre-Marie Pédrot
2015-08-16
|
/
*
CoqIDE: simpler way of reopening/reclosing a proof (Close: 4168)
Enrico Tassi
2015-04-02
*
Attempt to be more colorblind friendly in CoqIDE (Close #4024)
Enrico Tassi
2015-02-14
*
Update headers.
Maxime Dénès
2015-01-12
*
CoqIDE: new feedback "incomplete" to signal partial Qed
Enrico Tassi
2013-12-24
*
CoqIDE: make error background configurable
gareuselesinge
2013-10-11
*
CoqIDE: a comment is not a sentence
gareuselesinge
2013-10-10
*
CoqIDE ported to the revides protocol
gareuselesinge
2013-09-30
*
Coqide ported to STM
gareuselesinge
2013-08-08
*
Coqide: new tag "tooltip" for the Script window
gareuselesinge
2013-04-25
*
Adding color for warnings in CoqIDE
ppedrot
2013-03-19
*
Coqide: restore the tag removal of copy-pasted zones
letouzey
2012-12-10
*
Nice output of SearchAbout command in CoqIDE
ppedrot
2012-09-06
*
Updating headers.
herbelin
2012-08-08
*
Coqide coq lexer put one tag at the end of a sentence.
pboutill
2012-05-02
*
Source language and style are preferences
pboutill
2012-05-02
*
Now CoqIDE has a nice find & replace mechanism. BTW, removing a blob of dead ...
ppedrot
2012-04-23
*
Added a background color configuration option in CoqIDE.
ppedrot
2012-04-11