index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
ide
/
wg_ScriptView.ml
Commit message (
Expand
)
Author
Age
*
Wg_ScriptView: avoid invalid iters during completion
letouzey
2012-12-11
*
Coqide: some more refactoring to lighten coqide.ml
letouzey
2012-12-10
*
Coqide: get rid of threads, use gtk asynchronous i/o instead
letouzey
2012-12-08
*
When asked for a SearchAbout request, Coq now returns a more precise
ppedrot
2012-09-09
*
Added a comment/uncomment command to CoqIDE
ppedrot
2012-09-06
*
Updating headers.
herbelin
2012-08-08
*
Added the show_margin_right option to CoqIDE
ppedrot
2012-06-26
*
Fixing annoying autocompletion when deleting text.
ppedrot
2012-06-13
*
Cleaned prerr_endline use.
ppedrot
2012-05-23
*
Fixed bug #2781... (We hope so.)
ppedrot
2012-05-16
*
Trying to fix bug #2780, by short-circuiting the Gtk signals. A bit hackish.
ppedrot
2012-05-16
*
Added semantic completion in CoqIDE. (Should also add an option for that...)
ppedrot
2012-05-13
*
Rewritten the autocompletion mechanism of CoqIDE, and stuffed it
ppedrot
2012-05-08
*
Cleanly rewritten the undo manager, which did not support redo and had
ppedrot
2012-05-06
*
Renamed Undo to conform to CoqIDE widget naming convention. In addition,
ppedrot
2012-05-05