index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
ide
Commit message (
Expand
)
Author
Age
*
Ideutils: comment on missing Glib utf8 handling function
gareuselesinge
2013-05-06
*
Fix: tooltip correctly handles the absence of info (empty string)
gareuselesinge
2013-04-25
*
Coqide: Globalization feedback (proof of concept)
gareuselesinge
2013-04-25
*
lablgtk2 misses Glib.Utf8.pos_to_offset, workaround in ideutils
gareuselesinge
2013-04-25
*
Coqide: new tag "tooltip" for the Script window
gareuselesinge
2013-04-25
*
raise UnsafeSuccess -> feedback AddedAxiom
gareuselesinge
2013-04-25
*
Coqide: new feedback mechanism for structured content
gareuselesinge
2013-04-25
*
interface.mli and serialize.ml reworked to avoid copy/paste of types
gareuselesinge
2013-04-19
*
Renaming SearchAbout into Search and Search into SearchHead.
herbelin
2013-04-17
*
Better encapsulation of MessageView
ppedrot
2013-03-20
*
Using ML signalling in CoqIDE
ppedrot
2013-03-19
*
Adding color for warnings in CoqIDE
ppedrot
2013-03-19
*
CoqIDE: Add TAB key to autocomplete
ppedrot
2013-02-25
*
Tentative heuristic fix to handle lexer failures from CoqIDE when
ppedrot
2013-02-22
*
Cosmetic changes to CoqIDE finder widget.
ppedrot
2013-02-22
*
Fixing an annoying bug in CoqIDE which causes the very first line
ppedrot
2013-02-20
*
Fixing #2763
ppedrot
2013-02-20
*
More handling of scrollbars in CoqIDE completion
ppedrot
2013-02-20
*
CoqIDE: Including autocompletion in word proposals
ppedrot
2013-02-20
*
Adding scrollbars to CoqIDE autocompletion
ppedrot
2013-02-20
*
New autocompletion mechanism in CoqIDE. Now provides many answers
ppedrot
2013-02-19
*
CoqIDE: Adding escape reaction to replace widget
ppedrot
2013-02-13
*
Fixing autocompletion lock in CoqIDE
ppedrot
2013-02-13
*
updating ide/coq documentation
ppedrot
2013-01-26
*
Monadification of coqtop queries in CoqIDE
ppedrot
2013-01-26
*
Uniformization of Coq tasks
ppedrot
2013-01-26
*
Better handling of escape find in CoqIDE
ppedrot
2013-01-25
*
Better Undo/Redo mechanism
ppedrot
2013-01-25
*
Trying to fix CoqIDE undo/redo mechanism
ppedrot
2013-01-25
*
Fixing autocompletion in CoqIDE
ppedrot
2013-01-25
*
Fixup last commit
ppedrot
2013-01-25
*
Hugo request: CoqIDE find on enter
ppedrot
2013-01-25
*
Coqide: limit read buffer size to 4096 (pipe size in win32)
letouzey
2013-01-23
*
Coqide: avoid potentially blocking read on coqtop channel
letouzey
2013-01-22
*
Coq_makefile: -extra & -phony-extra for user defined makefile rule
pboutill
2013-01-07
*
Coqide: cleaner Coq.PrintOpt and session creation
letouzey
2012-12-19
*
GtkData.set_default_modifiers and no access to <primary> in lablgtk -> unsuab...
pboutill
2012-12-19
*
Fixing CoqIDE compilation
ppedrot
2012-12-14
*
Moved Stringset and Stringmap to String namespace.
ppedrot
2012-12-14
*
Wg_ScriptView: avoid invalid iters during completion
letouzey
2012-12-11
*
Coqide: allow editing even during a backtrack
letouzey
2012-12-11
*
Coq_lex: direct accounting of utf8 extra bytes in offsets
letouzey
2012-12-11
*
Coqide: restore the tag removal of copy-pasted zones
letouzey
2012-12-10
*
Coqide: some more refactoring to lighten coqide.ml
letouzey
2012-12-10
*
Tiny fix of r16049
pboutill
2012-12-10
*
Coqide: use labels for all labelled functions
letouzey
2012-12-08
*
Coqide: handle possible fragmentation in xml answers
letouzey
2012-12-08
*
Coqide: get rid of threads, use gtk asynchronous i/o instead
letouzey
2012-12-08
*
Coqide: more cleanup (buffers)
letouzey
2012-12-07
*
Coqide: stylistic improvements in analyzed_view initializer
letouzey
2012-12-07
[next]