aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide
Commit message (Expand)AuthorAge
* CoqIDE: Add TAB key to autocompleteGravatar ppedrot2013-02-25
* Tentative heuristic fix to handle lexer failures from CoqIDE whenGravatar ppedrot2013-02-22
* Cosmetic changes to CoqIDE finder widget.Gravatar ppedrot2013-02-22
* Fixing an annoying bug in CoqIDE which causes the very first lineGravatar ppedrot2013-02-20
* Fixing #2763Gravatar ppedrot2013-02-20
* More handling of scrollbars in CoqIDE completionGravatar ppedrot2013-02-20
* CoqIDE: Including autocompletion in word proposalsGravatar ppedrot2013-02-20
* Adding scrollbars to CoqIDE autocompletionGravatar ppedrot2013-02-20
* New autocompletion mechanism in CoqIDE. Now provides many answersGravatar ppedrot2013-02-19
* CoqIDE: Adding escape reaction to replace widgetGravatar ppedrot2013-02-13
* Fixing autocompletion lock in CoqIDEGravatar ppedrot2013-02-13
* updating ide/coq documentationGravatar ppedrot2013-01-26
* Monadification of coqtop queries in CoqIDEGravatar ppedrot2013-01-26
* Uniformization of Coq tasksGravatar ppedrot2013-01-26
* Better handling of escape find in CoqIDEGravatar ppedrot2013-01-25
* Better Undo/Redo mechanismGravatar ppedrot2013-01-25
* Trying to fix CoqIDE undo/redo mechanismGravatar ppedrot2013-01-25
* Fixing autocompletion in CoqIDEGravatar ppedrot2013-01-25
* Fixup last commitGravatar ppedrot2013-01-25
* Hugo request: CoqIDE find on enterGravatar ppedrot2013-01-25
* Coqide: limit read buffer size to 4096 (pipe size in win32)Gravatar letouzey2013-01-23
* Coqide: avoid potentially blocking read on coqtop channelGravatar letouzey2013-01-22
* Coq_makefile: -extra & -phony-extra for user defined makefile ruleGravatar pboutill2013-01-07
* Coqide: cleaner Coq.PrintOpt and session creationGravatar letouzey2012-12-19
* GtkData.set_default_modifiers and no access to <primary> in lablgtk -> unsuab...Gravatar pboutill2012-12-19
* Fixing CoqIDE compilationGravatar ppedrot2012-12-14
* Moved Stringset and Stringmap to String namespace.Gravatar ppedrot2012-12-14
* Wg_ScriptView: avoid invalid iters during completionGravatar letouzey2012-12-11
* Coqide: allow editing even during a backtrackGravatar letouzey2012-12-11
* Coq_lex: direct accounting of utf8 extra bytes in offsetsGravatar letouzey2012-12-11
* Coqide: restore the tag removal of copy-pasted zonesGravatar letouzey2012-12-10
* Coqide: some more refactoring to lighten coqide.mlGravatar letouzey2012-12-10
* Tiny fix of r16049Gravatar pboutill2012-12-10
* Coqide: use labels for all labelled functionsGravatar letouzey2012-12-08
* Coqide: handle possible fragmentation in xml answersGravatar letouzey2012-12-08
* Coqide: get rid of threads, use gtk asynchronous i/o insteadGravatar letouzey2012-12-08
* Coqide: more cleanup (buffers)Gravatar letouzey2012-12-07
* Coqide: stylistic improvements in analyzed_view initializerGravatar letouzey2012-12-07
* Coqide: cleanup concerning insert_text signalGravatar letouzey2012-12-07
* Nicer code around Coq_lexGravatar letouzey2012-12-07
* Ideutils: simpler conversion from byte offset to utf8 char offsetGravatar letouzey2012-12-07
* Coqide: missing arg when calling process_next_phraseGravatar letouzey2012-12-07
* Coqide: minor cleanup around tag_on_insertGravatar letouzey2012-12-07
* Coqide: better removal of the error red tagGravatar letouzey2012-12-07
* Coqide: better handling of gtk messages + fix win32 stdout/stderr reroutingGravatar letouzey2012-12-07
* Coqide: no reason to ignore Ctrl-CGravatar letouzey2012-12-07
* Coqide: use "prefs" ident instead of "current" (vague when unqualified)Gravatar letouzey2012-12-07
* Coqide: opening non-existing files won't create them immediately anymoreGravatar letouzey2012-12-07
* Coqide: nicer creation of timersGravatar letouzey2012-12-07
* Coqide: code cleanupGravatar letouzey2012-12-07