aboutsummaryrefslogtreecommitdiff
path: root/ide
AgeCommit message (Expand)Author
2014-08-05Coqide: check_connection now also checks correct loading of coqide plugin +Hugo Herbelin
2014-08-05STM: code restructured to reuse task queue for tacticsEnrico Tassi
2014-08-05Coqide: annoying popups with GTK errors only in debug modeEnrico Tassi
2014-07-24Make MacStore like coqide morePierre Boutillier
2014-07-22Ide: Drop argument added by MacOS during .app launchPierre Boutillier
2014-07-22the art of forgetting new files during rebase -iPierre Boutillier
2014-07-22A makefile rule to build bin/CoqIDE_$VERSION.app macOS bundlePierre Boutillier
2014-07-22Coqide use '(diraname MYSELF)/coqtop' as coqtop only if this file existsPierre Boutillier
2014-07-10CoqIDE: on win32 the old interrputer code (SIGINT) is still neededEnrico Tassi
2014-06-30Little coqide bug, when coqtop outputs empty lines, as e.g. when calling coqi...Hugo Herbelin
2014-06-30Coq_makefile takes advantages of -I -Q -R cleanupPierre Boutillier
2014-06-30Coq_makefile: -extra[-phony] correction + docPierre Boutillier
2014-06-25all coqide specific files moved into ide/Enrico Tassi
2014-06-19Support dropping files over the coqide window. (Partial fix for bug #2765)Guillaume Melquiond
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 18:38:56 +0000