aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide
Commit message (Expand)AuthorAge
* Make MacStore like coqide moreGravatar Pierre Boutillier2014-07-24
* Ide: Drop argument added by MacOS during .app launchGravatar Pierre Boutillier2014-07-22
* the art of forgetting new files during rebase -iGravatar Pierre Boutillier2014-07-22
* A makefile rule to build bin/CoqIDE_$VERSION.app macOS bundleGravatar Pierre Boutillier2014-07-22
* Coqide use '(diraname MYSELF)/coqtop' as coqtop only if this file existsGravatar Pierre Boutillier2014-07-22
* CoqIDE: on win32 the old interrputer code (SIGINT) is still neededGravatar Enrico Tassi2014-07-10
* Little coqide bug, when coqtop outputs empty lines, as e.g. when calling coqi...Gravatar Hugo Herbelin2014-06-30
* Coq_makefile takes advantages of -I -Q -R cleanupGravatar Pierre Boutillier2014-06-30
* Coq_makefile: -extra[-phony] correction + docGravatar Pierre Boutillier2014-06-30
* all coqide specific files moved into ide/Gravatar Enrico Tassi2014-06-25
* Support dropping files over the coqide window. (Partial fix for bug #2765)Gravatar Guillaume Melquiond2014-06-19
* Fixing ml-doc.Gravatar Pierre-Marie Pédrot2014-05-01
* Fix broken commit 2bcb2cb.Gravatar Guillaume Melquiond2014-04-28
* Fix incorrect syntax highlighting after the Goal command.Gravatar Guillaume Melquiond2014-04-28
* CoqIDE: options for syntax highlightingGravatar Enrico Tassi2014-04-10
* CoqIDE: removing a timer may raise an exceptionGravatar Enrico Tassi2014-04-10
* nanoPG: when the cursor moves, scroll to make it appear on screenGravatar Enrico Tassi2014-04-09
* nanoPG: takeover keypress only when text view has focusGravatar Enrico Tassi2014-04-09
* Allowing proof view to be detached in CoqIDE.Gravatar Pierre-Marie Pédrot2014-04-07
* Clean up the .merlinGravatar Thomas Refis2014-04-03
* CoqIDE: better error reporting for Qed on incomplete proofGravatar Enrico Tassi2014-03-26
* nanoPG: better copy/pasteGravatar Enrico Tassi2014-03-13
* Stm: smarter delegation policyGravatar Enrico Tassi2014-03-12
* CoqIDE: Errors page gets red if not emptyGravatar Enrico Tassi2014-03-12
* CoqIDE: detachable message/error/jobs panesGravatar Enrico Tassi2014-03-12
* remove trailing '\r' from file names returned by coqtopGravatar Virgile Prevosto2014-03-06
* Remove many superfluous 'open' indicated by ocamlc -w +33Gravatar Pierre Letouzey2014-03-05
* Move error and job display to the lower right pane.Gravatar Guillaume Melquiond2014-03-04
* Fix syntax highlighting of "Implicit Arguments" for gtksourceview.Gravatar Guillaume Melquiond2014-03-02
* 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