aboutsummaryrefslogtreecommitdiff
path: root/ide
AgeCommit message (Expand)Author
2014-01-30STM + CoqIDE: stop_worker message and UIEnrico Tassi
2014-01-30STM: tell the user if the master is recomputing states validated by workersEnrico Tassi
2014-01-26CoqIDE: command line for extra coqtop "flags"Enrico Tassi
2014-01-26CoqIDE: ported to spawnEnrico Tassi
2014-01-06CoqIDE: do not unfocus if not needed on errors (closes: 3197)Enrico Tassi
2014-01-05nanoPG: compete rewriting with more Emacs/PG like featuresEnrico Tassi
2014-01-05Paral-ITP: cleanup of command line flags and more conservative defaultEnrico Tassi
2013-12-24CoqIDE: new feedback "incomplete" to signal partial QedEnrico Tassi
2013-12-11Fix CoqIDE compilation under standard version of lablgtk2Enrico Tassi
2013-12-10Fix CoqIDE on windowsEnrico Tassi
2013-12-03Ensure locality modifiers are properly highlighted in CoqIDE.Guillaume Melquiond
2013-12-03Silence compilation warning by avoiding some deprecated constructs.Guillaume Melquiond
2013-11-27CoqIDE: show error message for parsing errorsEnrico Tassi
2013-11-02Adds a tactic give_up.aspiwack
2013-11-02Adds a shelve tactic.aspiwack
2013-10-31CoqIDE: scroll to the right position if there is an interp errorgareuselesinge
2013-10-24CoqIDE: fix coloring bug when jumping back to the first phrasegareuselesinge
2013-10-23cList.index is now cList.index_f, same for index0letouzey
2013-10-23cList: set-as-list functions are now with an explicit comparisonletouzey
2013-10-22CoqIDE: always retag on insertgareuselesinge
2013-10-22CoqIDE: do not try to backtrack to a dummy idgareuselesinge
2013-10-22Wg_Find: regex + case insensitive find/replace supportgareuselesinge
2013-10-22wg_Detachable: move out of wg_Commandgareuselesinge
2013-10-22Wg_Commands: fix warning "widget not within a GtkWindow"gareuselesinge
2013-10-22Wg_Commands: when detached display the buffer namegareuselesinge
2013-10-22CoqIDE: display in the errors window also the slaves statusgareuselesinge
2013-10-22wg_Commands: smaller icons in tabsgareuselesinge
2013-10-22ideutils: support custom size for stock iconsgareuselesinge
2013-10-11CoqIDE: make error background configurablegareuselesinge
2013-10-11CoqIDE: single underline for errorsgareuselesinge
2013-10-10CoqIDE: error reporting fixedgareuselesinge
2013-10-10Document: undoing inside a focused zone does not require unfocusinggareuselesinge
2013-10-10CoqIDE: ported to Documentgareuselesinge
2013-10-10CoqIDE: move cmd_stack to a separate module: Documentgareuselesinge
2013-10-10CoqIDE: a comment is not a sentencegareuselesinge
2013-10-07CoqIDE: fix jumpig out of a focused proofgareuselesinge
2013-10-07CoqIDE: cStack -> Documentgareuselesinge
2013-10-03CoqIDE: when jumping to an error also move the cursorgareuselesinge
2013-10-01CoqIDE: when checking the whole document, center script view on errorgareuselesinge
2013-10-01CoqIDE: fixed advance_until wrt unfocusinggareuselesinge
2013-10-01CoqIDE: do not print cmd_stack too oftengareuselesinge
2013-10-01CoqIDE: do not fail hard if a message is asynchronousgareuselesinge
2013-10-01CoqIDE: fix reset initialgareuselesinge
2013-09-30CoqIDE: use #present to raise error windowgareuselesinge
2013-09-30Backtrace.record_backtrace in CoqIDE toogareuselesinge
2013-09-30CoqIDE: wg_Tooltip removed, new tooltip handlinggareuselesinge
2013-09-30ideutils: stock_to_widget was ignoring the ~size argumentgareuselesinge
2013-09-30wg_Command: detachable, less "from the 80s", query panegareuselesinge
2013-09-30wg_Session: fix copy/paste of tagged textgareuselesinge
2013-09-30CoqIDE ported to the revides protocolgareuselesinge
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 21:35:05 +0000