aboutsummaryrefslogtreecommitdiff
path: root/ide/coqide.ml
AgeCommit message (Expand)Author
2015-02-17CoqIDE: read-only Qed sentence reflected in colors (Close: 4051)Enrico Tassi
2015-02-13Selection of the current word in CoqIDE looks at all buffers.Pierre-Marie Pédrot
2015-02-12Fixing bug #3261.Pierre-Marie Pédrot
2015-02-12Fixing bug #4023.Pierre-Marie Pédrot
2015-01-12Update headers.Maxime Dénès
2015-01-05Adding an option to deactivate the progress bar.Pierre-Marie Pédrot
2014-12-17CoqIDE: better messagesEnrico Tassi
2014-12-07Ensuring that ide_slave and stm receive only .v files from CoqIDE.Hugo Herbelin
2014-08-25"allows to", like "allowing to", is improperJason Gross
2014-08-24Fixing bug #3404.Pierre-Marie Pédrot
2014-08-24Enabling drag & drop on the source view widgets.Pierre-Marie Pédrot
2014-07-22Ide: Drop argument added by MacOS during .app launchPierre 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-04-10CoqIDE: options for syntax highlightingEnrico Tassi
2014-04-07Allowing proof view to be detached in CoqIDE.Pierre-Marie Pédrot
2014-03-04Move error and job display to the lower right pane.Guillaume Melquiond
2014-01-30STM + CoqIDE: stop_worker message and UIEnrico Tassi
2014-01-26CoqIDE: command line for extra coqtop "flags"Enrico Tassi
2014-01-26CoqIDE: ported to spawnEnrico Tassi
2013-12-24CoqIDE: new feedback "incomplete" to signal partial QedEnrico Tassi
2013-12-10Fix CoqIDE on windowsEnrico Tassi
2013-10-22Wg_Find: regex + case insensitive find/replace supportgareuselesinge
2013-10-22CoqIDE: display in the errors window also the slaves statusgareuselesinge
2013-10-03CoqIDE: when jumping to an error also move the cursorgareuselesinge
2013-09-30CoqIDE: use #present to raise error windowgareuselesinge
2013-09-30Backtrace.record_backtrace in CoqIDE toogareuselesinge
2013-09-30wg_Command: detachable, less "from the 80s", query panegareuselesinge
2013-09-13fix error reporting window size calculationgareuselesinge
2013-09-13CoqIDE: new async error reporting window and slaves statusgareuselesinge
2013-09-12CoqIDE: show number of proofs being checked in backgroundgareuselesinge
2013-09-04More robust argument setter in CoqIDE. It does not crash anymore on badppedrot
2013-08-08Add a (very minimal) Proof General mode to CoqIDEgareuselesinge
2013-08-08Coqide ported to STMgareuselesinge
2013-07-27Protecting every call to current_term in CoqIDE so that callbackppedrot
2013-07-27Added a way to change dynamically coqtop arguments in CoqIDE.ppedrot
2013-05-06Coqide: view -> zoom in / out / fitgareuselesinge
2013-04-25raise UnsafeSuccess -> feedback AddedAxiomgareuselesinge
2013-04-17Renaming SearchAbout into Search and Search into SearchHead.herbelin
2013-03-20Better encapsulation of MessageViewppedrot
2013-02-20CoqIDE: Including autocompletion in word proposalsppedrot
2013-01-26Monadification of coqtop queries in CoqIDEppedrot
2013-01-25Better handling of escape find in CoqIDEppedrot
2012-12-19Coqide: cleaner Coq.PrintOpt and session creationletouzey
2012-12-10Coqide: some more refactoring to lighten coqide.mlletouzey
2012-12-08Coqide: use labels for all labelled functionsletouzey
2012-12-08Coqide: get rid of threads, use gtk asynchronous i/o insteadletouzey
2012-12-07Coqide: more cleanup (buffers)letouzey
2012-12-07Coqide: stylistic improvements in analyzed_view initializerletouzey
2012-12-07Coqide: cleanup concerning insert_text signalletouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-06 16:34:24 +0000