aboutsummaryrefslogtreecommitdiff
path: root/ide
AgeCommit message (Expand)Author
2013-02-25CoqIDE: Add TAB key to autocompleteppedrot
2013-02-22Tentative heuristic fix to handle lexer failures from CoqIDE whenppedrot
2013-02-22Cosmetic changes to CoqIDE finder widget.ppedrot
2013-02-20Fixing an annoying bug in CoqIDE which causes the very first lineppedrot
2013-02-20Fixing #2763ppedrot
2013-02-20More handling of scrollbars in CoqIDE completionppedrot
2013-02-20CoqIDE: Including autocompletion in word proposalsppedrot
2013-02-20Adding scrollbars to CoqIDE autocompletionppedrot
2013-02-19New autocompletion mechanism in CoqIDE. Now provides many answersppedrot
2013-02-13CoqIDE: Adding escape reaction to replace widgetppedrot
2013-02-13Fixing autocompletion lock in CoqIDEppedrot
2013-01-26updating ide/coq documentationppedrot
2013-01-26Monadification of coqtop queries in CoqIDEppedrot
2013-01-26Uniformization of Coq tasksppedrot
2013-01-25Better handling of escape find in CoqIDEppedrot
2013-01-25Better Undo/Redo mechanismppedrot
2013-01-25Trying to fix CoqIDE undo/redo mechanismppedrot
2013-01-25Fixing autocompletion in CoqIDEppedrot
2013-01-25Fixup last commitppedrot
2013-01-25Hugo request: CoqIDE find on enterppedrot
2013-01-23Coqide: limit read buffer size to 4096 (pipe size in win32)letouzey
2013-01-22Coqide: avoid potentially blocking read on coqtop channelletouzey
2013-01-07Coq_makefile: -extra & -phony-extra for user defined makefile rulepboutill
2012-12-19Coqide: cleaner Coq.PrintOpt and session creationletouzey
2012-12-19GtkData.set_default_modifiers and no access to <primary> in lablgtk -> unsuab...pboutill
2012-12-14Fixing CoqIDE compilationppedrot
2012-12-14Moved Stringset and Stringmap to String namespace.ppedrot
2012-12-11Wg_ScriptView: avoid invalid iters during completionletouzey
2012-12-11Coqide: allow editing even during a backtrackletouzey
2012-12-11Coq_lex: direct accounting of utf8 extra bytes in offsetsletouzey
2012-12-10Coqide: restore the tag removal of copy-pasted zonesletouzey
2012-12-10Coqide: some more refactoring to lighten coqide.mlletouzey
2012-12-10Tiny fix of r16049pboutill
2012-12-08Coqide: use labels for all labelled functionsletouzey
2012-12-08Coqide: handle possible fragmentation in xml answersletouzey
2012-12-08Coqide: get rid of threads, use gtk asynchronous i/o insteadletouzey
2012-12-07Coqide: more cleanup (buffers)letouzey
2012-12-07Coqide: stylistic improvements in analyzed_view initializerletouzey
2012-12-07Coqide: cleanup concerning insert_text signalletouzey
2012-12-07Nicer code around Coq_lexletouzey
2012-12-07Ideutils: simpler conversion from byte offset to utf8 char offsetletouzey
2012-12-07Coqide: missing arg when calling process_next_phraseletouzey
2012-12-07Coqide: minor cleanup around tag_on_insertletouzey
2012-12-07Coqide: better removal of the error red tagletouzey
2012-12-07Coqide: better handling of gtk messages + fix win32 stdout/stderr reroutingletouzey
2012-12-07Coqide: no reason to ignore Ctrl-Cletouzey
2012-12-07Coqide: use "prefs" ident instead of "current" (vague when unqualified)letouzey
2012-12-07Coqide: opening non-existing files won't create them immediately anymoreletouzey
2012-12-07Coqide: nicer creation of timersletouzey
2012-12-07Coqide: code cleanupletouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-19 17:40:57 +0000