aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide
Commit message (Expand)AuthorAge
* CoqIDE: when coqtop misbehaves kill it properly (no zombie)Gravatar Enrico Tassi2014-02-17
* [nanoPG]: emacs like copy/pasteGravatar Enrico Tassi2014-02-17
* STM + CoqIDE: stop_worker message and UIGravatar Enrico Tassi2014-01-30
* STM: tell the user if the master is recomputing states validated by workersGravatar Enrico Tassi2014-01-30
* CoqIDE: command line for extra coqtop "flags"Gravatar Enrico Tassi2014-01-26
* CoqIDE: ported to spawnGravatar Enrico Tassi2014-01-26
* CoqIDE: do not unfocus if not needed on errors (closes: 3197)Gravatar Enrico Tassi2014-01-06
* nanoPG: compete rewriting with more Emacs/PG like featuresGravatar Enrico Tassi2014-01-05
* Paral-ITP: cleanup of command line flags and more conservative defaultGravatar Enrico Tassi2014-01-05
* CoqIDE: new feedback "incomplete" to signal partial QedGravatar Enrico Tassi2013-12-24
* Fix CoqIDE compilation under standard version of lablgtk2Gravatar Enrico Tassi2013-12-11
* Fix CoqIDE on windowsGravatar Enrico Tassi2013-12-10
* Ensure locality modifiers are properly highlighted in CoqIDE.Gravatar Guillaume Melquiond2013-12-03
* Silence compilation warning by avoiding some deprecated constructs.Gravatar Guillaume Melquiond2013-12-03
* CoqIDE: show error message for parsing errorsGravatar Enrico Tassi2013-11-27
* Adds a tactic give_up.Gravatar aspiwack2013-11-02
* Adds a shelve tactic.Gravatar aspiwack2013-11-02
* CoqIDE: scroll to the right position if there is an interp errorGravatar gareuselesinge2013-10-31
* CoqIDE: fix coloring bug when jumping back to the first phraseGravatar gareuselesinge2013-10-24
* cList.index is now cList.index_f, same for index0Gravatar letouzey2013-10-23
* cList: set-as-list functions are now with an explicit comparisonGravatar letouzey2013-10-23
* CoqIDE: always retag on insertGravatar gareuselesinge2013-10-22
* CoqIDE: do not try to backtrack to a dummy idGravatar gareuselesinge2013-10-22
* Wg_Find: regex + case insensitive find/replace supportGravatar gareuselesinge2013-10-22
* wg_Detachable: move out of wg_CommandGravatar gareuselesinge2013-10-22
* Wg_Commands: fix warning "widget not within a GtkWindow"Gravatar gareuselesinge2013-10-22
* Wg_Commands: when detached display the buffer nameGravatar gareuselesinge2013-10-22
* CoqIDE: display in the errors window also the slaves statusGravatar gareuselesinge2013-10-22
* wg_Commands: smaller icons in tabsGravatar gareuselesinge2013-10-22
* ideutils: support custom size for stock iconsGravatar gareuselesinge2013-10-22
* CoqIDE: make error background configurableGravatar gareuselesinge2013-10-11
* CoqIDE: single underline for errorsGravatar gareuselesinge2013-10-11
* CoqIDE: error reporting fixedGravatar gareuselesinge2013-10-10
* Document: undoing inside a focused zone does not require unfocusingGravatar gareuselesinge2013-10-10
* CoqIDE: ported to DocumentGravatar gareuselesinge2013-10-10
* CoqIDE: move cmd_stack to a separate module: DocumentGravatar gareuselesinge2013-10-10
* CoqIDE: a comment is not a sentenceGravatar gareuselesinge2013-10-10
* CoqIDE: fix jumpig out of a focused proofGravatar gareuselesinge2013-10-07
* CoqIDE: cStack -> DocumentGravatar gareuselesinge2013-10-07
* CoqIDE: when jumping to an error also move the cursorGravatar gareuselesinge2013-10-03
* CoqIDE: when checking the whole document, center script view on errorGravatar gareuselesinge2013-10-01
* CoqIDE: fixed advance_until wrt unfocusingGravatar gareuselesinge2013-10-01
* CoqIDE: do not print cmd_stack too oftenGravatar gareuselesinge2013-10-01
* CoqIDE: do not fail hard if a message is asynchronousGravatar gareuselesinge2013-10-01
* CoqIDE: fix reset initialGravatar gareuselesinge2013-10-01
* CoqIDE: use #present to raise error windowGravatar gareuselesinge2013-09-30
* Backtrace.record_backtrace in CoqIDE tooGravatar gareuselesinge2013-09-30
* CoqIDE: wg_Tooltip removed, new tooltip handlingGravatar gareuselesinge2013-09-30
* ideutils: stock_to_widget was ignoring the ~size argumentGravatar gareuselesinge2013-09-30
* wg_Command: detachable, less "from the 80s", query paneGravatar gareuselesinge2013-09-30