index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
ide
/
wg_Find.ml
Age
Commit message (
Expand
)
Author
2020-06-02
Move CoqIDE to its own folder
Maxime Dénès
2020-03-18
Update headers in the whole code base.
Théo Zimmermann
2019-11-21
[coq] Untabify the whole ML codebase.
Emilio Jesus Gallego Arias
2019-06-17
Update ml-style headers to new year.
Théo Zimmermann
2019-03-19
CoqIDE: Use modify_bg rather than modify_base to change background color.
Hugo Herbelin
2019-03-19
CoqIDE: Using Grid instead of Table.
Hugo Herbelin
2018-12-09
[doc] Enable Warning 50 [incorrect doc comment] and fix comments.
Emilio Jesus Gallego Arias
2018-02-27
Update headers following #6543.
Théo Zimmermann
2018-01-18
add flash infos about wrap, not found, no. of replacements, no. of finds, iss...
Paul Steckler
2017-07-04
Bump year in headers.
Pierre-Marie Pédrot
2017-04-27
Fix omitted labels in function calls
Gaetan Gilbert
2016-01-21
Merge branch 'v8.5'
Pierre-Marie Pédrot
2016-01-20
Update copyright headers.
Maxime Dénès
2016-01-02
Remove some useless type declarations.
Guillaume Melquiond
2015-01-25
Made replacing of text in CoqIDE atomic w.r.t. the undo/redo.
Pierre-Marie Pédrot
2015-01-25
Fixing bug #3947.
Pierre-Marie Pédrot
2015-01-12
Update headers.
Maxime Dénès
2013-10-22
Wg_Find: regex + case insensitive find/replace support
gareuselesinge
2013-04-17
Renaming SearchAbout into Search and Search into SearchHead.
herbelin
2013-02-22
Cosmetic changes to CoqIDE finder widget.
ppedrot
2013-02-13
CoqIDE: Adding escape reaction to replace widget
ppedrot
2013-01-25
Better handling of escape find in CoqIDE
ppedrot
2013-01-25
Fixup last commit
ppedrot
2013-01-25
Hugo request: CoqIDE find on enter
ppedrot
2012-12-08
Coqide: use labels for all labelled functions
letouzey
2012-09-06
Added a comment/uncomment command to CoqIDE
ppedrot
2012-09-06
Nice output of SearchAbout command in CoqIDE
ppedrot
2012-08-08
Updating headers.
herbelin
2012-04-24
Removed a unused and troublesome feature in CoqIDE that handled shortcuts the...
ppedrot
2012-04-23
Fixed bad gravity of mark that would make CoqIDE loop whenever Replace All wa...
ppedrot
2012-04-23
Cleaning a bit previous commit
ppedrot
2012-04-23
Now CoqIDE has a nice find & replace mechanism. BTW, removing a blob of dead ...
ppedrot
