aboutsummaryrefslogtreecommitdiff
path: root/ide
AgeCommit message (Expand)Author
2014-05-01Fixing ml-doc.Pierre-Marie Pédrot
2014-04-28Fix broken commit 2bcb2cb.Guillaume Melquiond
2014-04-28Fix incorrect syntax highlighting after the Goal command.Guillaume Melquiond
2014-04-10CoqIDE: options for syntax highlightingEnrico Tassi
2014-04-10CoqIDE: removing a timer may raise an exceptionEnrico Tassi
2014-04-09nanoPG: when the cursor moves, scroll to make it appear on screenEnrico Tassi
2014-04-09nanoPG: takeover keypress only when text view has focusEnrico Tassi
2014-04-07Allowing proof view to be detached in CoqIDE.Pierre-Marie Pédrot
2014-04-03Clean up the .merlinThomas Refis
2014-03-26CoqIDE: better error reporting for Qed on incomplete proofEnrico Tassi
2014-03-13nanoPG: better copy/pasteEnrico Tassi
2014-03-12Stm: smarter delegation policyEnrico Tassi
2014-03-12CoqIDE: Errors page gets red if not emptyEnrico Tassi
2014-03-12CoqIDE: detachable message/error/jobs panesEnrico Tassi
2014-03-06remove trailing '\r' from file names returned by coqtopVirgile Prevosto
2014-03-05Remove many superfluous 'open' indicated by ocamlc -w +33Pierre Letouzey
2014-03-04Move error and job display to the lower right pane.Guillaume Melquiond
2014-03-02Fix syntax highlighting of "Implicit Arguments" for gtksourceview.Guillaume Melquiond
2014-02-17CoqIDE: when coqtop misbehaves kill it properly (no zombie)Enrico Tassi
2014-02-17[nanoPG]: emacs like copy/pasteEnrico Tassi
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 09:31:00 +0000