aboutsummaryrefslogtreecommitdiff
path: root/ide
AgeCommit message (Expand)Author
2013-05-06New module Xml_printer (dual to Xml_parser)gareuselesinge
2013-05-06Coqide: view -> zoom in / out / fitgareuselesinge
2013-05-06Ideutils: comment on missing Glib utf8 handling functiongareuselesinge
2013-04-25Fix: tooltip correctly handles the absence of info (empty string)gareuselesinge
2013-04-25Coqide: Globalization feedback (proof of concept)gareuselesinge
2013-04-25lablgtk2 misses Glib.Utf8.pos_to_offset, workaround in ideutilsgareuselesinge
2013-04-25Coqide: new tag "tooltip" for the Script windowgareuselesinge
2013-04-25raise UnsafeSuccess -> feedback AddedAxiomgareuselesinge
2013-04-25Coqide: new feedback mechanism for structured contentgareuselesinge
2013-04-19interface.mli and serialize.ml reworked to avoid copy/paste of typesgareuselesinge
2013-04-17Renaming SearchAbout into Search and Search into SearchHead.herbelin
2013-03-20Better encapsulation of MessageViewppedrot
2013-03-19Using ML signalling in CoqIDEppedrot
2013-03-19Adding color for warnings in CoqIDEppedrot
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-03 12:44:39 +0000