index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
ide
/
tags.ml
Commit message (
Expand
)
Author
Age
*
CoqIDE: new feedback "incomplete" to signal partial Qed
Enrico Tassi
2013-12-24
*
CoqIDE: make error background configurable
gareuselesinge
2013-10-11
*
CoqIDE: single underline for errors
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
*
Automatic backtracking if locked zone is edited
gareuselesinge
2013-08-11
*
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
*
Modification of the unjustified tag.
aspiwack
2012-08-24
*
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
*
A revolution has come: CoqIDE, now in color. Fixes bug #2704 btw.
ppedrot
2012-03-28
*
Updated all headers for 8.3 and trunk
herbelin
2010-07-24
*
Remove the svn-specific $Id$ annotations
letouzey
2010-04-29
*
Changes in lexing and tagging.
vgross
2010-02-25
*
Ergonomy and robustness fix
vgross
2009-11-23
*
new handling for lexical structures.
vgross
2009-11-13
*
note for later : when the tag table is shared, never, ever create two
vgross
2009-10-16
*
Delete trailing whitespaces in all *.{v,ml*} files
glondu
2009-09-17
*
tags refactoring
vgross
2009-09-14