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
...
*
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
*
Coqide: cleanup concerning insert_text signal
letouzey
2012-12-07
*
Nicer code around Coq_lex
letouzey
2012-12-07
*
Ideutils: simpler conversion from byte offset to utf8 char offset
letouzey
2012-12-07
*
Coqide: missing arg when calling process_next_phrase
letouzey
2012-12-07
*
Coqide: minor cleanup around tag_on_insert
letouzey
2012-12-07
*
Coqide: better removal of the error red tag
letouzey
2012-12-07
*
Coqide: better handling of gtk messages + fix win32 stdout/stderr rerouting
letouzey
2012-12-07
*
Coqide: no reason to ignore Ctrl-C
letouzey
2012-12-07
*
Coqide: use "prefs" ident instead of "current" (vague when unqualified)
letouzey
2012-12-07
*
Coqide: opening non-existing files won't create them immediately anymore
letouzey
2012-12-07
*
Coqide: nicer creation of timers
letouzey
2012-12-07
*
Coqide: code cleanup
letouzey
2012-12-07
*
Display Menu now called View Menu (in CoqIDE preferences).
herbelin
2012-12-04
*
More monomorphizations
ppedrot
2012-11-13
*
Coqide : allow properly closing communication pipes with coqtop
letouzey
2012-11-12
*
Coqide Detach View: avoid doing gtk stuff in sub-thread (fix #2863)
letouzey
2012-10-31
*
Text inserted by insert_this_phrase_on_success correct tagging
pboutill
2012-10-23
*
Coqide for Gtk-mac-integration 2.0.0
pboutill
2012-10-23
*
MacOS integration uses lablgtkosx >= 1.1
pboutill
2012-09-17
*
More type-safe interface to Coq XML API.
ppedrot
2012-09-17
*
Some documentation and cleaning of CList and Util interfaces.
ppedrot
2012-09-15
*
Moving Utils.list_* to a proper CList module, which includes stdlib
ppedrot
2012-09-14
*
Coqide uses Glib to get the XDG_DATA/CONFIG_HOME/DIRS
pboutill
2012-09-12
*
Added Print Assumptions command to CoqIDE
ppedrot
2012-09-10
*
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
*
Nice output of SearchAbout command in CoqIDE
ppedrot
2012-09-06
[prev]
[next]