aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide
Commit message (Expand)AuthorAge
* Remove pointless regex for '""' as the empty string already matches it.Gravatar Guillaume Melquiond2014-09-17
* Fix highlighting of "Hint Unfold" and "Hint Rewrite".Gravatar Guillaume Melquiond2014-09-17
* Properly highlight the Export keyword.Gravatar Guillaume Melquiond2014-09-17
* Fix ambiguous regex in syntax highlighting.Gravatar Guillaume Melquiond2014-09-17
* Fix broken syntax highlighting for Coq files using "Proof constr".Gravatar Guillaume Melquiond2014-09-17
* Referring to evars by names. Added a parser for evars (but parsing ofGravatar Hugo Herbelin2014-09-12
* IDE: escape popup text (close: 3600)Gravatar Enrico Tassi2014-09-09
* IDE: disable editable text area underline when -debugGravatar Enrico Tassi2014-09-09
* toploop plugins taken into account when printing --help (close: 3535)Gravatar Enrico Tassi2014-09-09
* Add a [Variant] declaration which allows to write non-recursive variant types.Gravatar Arnaud Spiwack2014-09-04
* Fixup introduction of coqworkmgrGravatar Pierre Boutillier2014-09-02
* coqworkmgrGravatar Enrico Tassi2014-09-02
* Coqide prints succesive hyps of the same type on 1 lineGravatar Pierre Boutillier2014-09-01
* "allows to", like "allowing to", is improperGravatar Jason Gross2014-08-25
* Fixing bug #3404.Gravatar Pierre-Marie Pédrot2014-08-24
* Enabling drag & drop on the source view widgets.Gravatar Pierre-Marie Pédrot2014-08-24
* Quick fix for avoiding infinitely many respawning and Warning "CoqGravatar Hugo Herbelin2014-08-12
* CoqIDE: fixing parsing of bullets and brackets even at end of file.Gravatar Hugo Herbelin2014-08-05
* Uncountably many bullets (+,-,*,++,--,**,+++,...).Gravatar Hugo Herbelin2014-08-05
* Coqide: check_connection now also checks correct loading of coqide plugin +Gravatar Hugo Herbelin2014-08-05
* STM: code restructured to reuse task queue for tacticsGravatar Enrico Tassi2014-08-05
* Coqide: annoying popups with GTK errors only in debug modeGravatar Enrico Tassi2014-08-05
* 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