aboutsummaryrefslogtreecommitdiff
path: root/ide
AgeCommit message (Expand)Author
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
2012-12-04Display Menu now called View Menu (in CoqIDE preferences).herbelin
2012-11-13More monomorphizationsppedrot
2012-11-12Coqide : allow properly closing communication pipes with coqtopletouzey
2012-10-31Coqide Detach View: avoid doing gtk stuff in sub-thread (fix #2863)letouzey
2012-10-23Text inserted by insert_this_phrase_on_success correct taggingpboutill
2012-10-23Coqide for Gtk-mac-integration 2.0.0pboutill
2012-09-17MacOS integration uses lablgtkosx >= 1.1pboutill
2012-09-17More type-safe interface to Coq XML API.ppedrot
2012-09-15Some documentation and cleaning of CList and Util interfaces.ppedrot
2012-09-14Moving Utils.list_* to a proper CList module, which includes stdlibppedrot
2012-09-12Coqide uses Glib to get the XDG_DATA/CONFIG_HOME/DIRSpboutill
2012-09-10Added Print Assumptions command to CoqIDEppedrot
2012-09-09When asked for a SearchAbout request, Coq now returns a more preciseppedrot
2012-09-06Added a comment/uncomment command to CoqIDEppedrot
2012-09-06Nice output of SearchAbout command in CoqIDEppedrot
2012-09-04Fix coqide compilation with lablgtk 2.16pboutill
2012-09-04Coqide Fix highlighting of Extraction, Import, Variablespboutill
2012-08-24Better highlighting of strings in coqide.aspiwack
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-20 15:51:23 +0000