aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/session.ml
Commit message (Expand)AuthorAge
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* Fix omitted labels in function callsGravatar Gaetan Gilbert2017-04-27
* [ide] Set Stateid in query pane.Gravatar Emilio Jesus Gallego Arias2017-04-20
* Do not stop propagation of signals when Coq is busy (bug #3941).Gravatar Guillaume Melquiond2016-09-28
* A new infrastructure for warnings.Gravatar Maxime Dénès2016-06-29
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-02-21
|\
| * CoqIDE: STOP button also stops workers (fix #4542)Gravatar Enrico Tassi2016-02-19
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-21
|\|
| * Update copyright headers.Gravatar Maxime Dénès2016-01-20
* | Replacing old-style preferences in CoqIDE.Gravatar Pierre-Marie Pédrot2015-08-26
* | Using the new preference mechanism for colors in CoqIDE.Gravatar Pierre-Marie Pédrot2015-08-16
* | Turning CoqIDE preferences into new style.Gravatar Pierre-Marie Pédrot2015-08-16
|/
* coqide: don't require ocaml >= 4Gravatar Enrico Tassi2015-05-29
* Jump to error line in CoqIDE grabs focus of the textview.Gravatar Pierre-Marie Pédrot2015-05-26
* CoqIDE columns in error and job panels can be sorted.Gravatar Pierre-Marie Pédrot2015-05-25
* CoqIDE: simpler way of reopening/reclosing a proof (Close: 4168)Gravatar Enrico Tassi2015-04-02
* Fixing bug #4073.Gravatar Pierre-Marie Pédrot2015-02-20
* Trying to fix bug #3930.Gravatar Pierre-Marie Pédrot2015-02-13
* Tentative fix for CoqIDE randomly dropping deletions.Gravatar Pierre-Marie Pédrot2015-02-12
* Focussing on message view in CoqIDE when a message is pushed.Gravatar Pierre-Marie Pédrot2015-02-12
* Update headers.Gravatar Maxime Dénès2015-01-12
* Implementing a segment-viewer in CoqIDE.Gravatar Pierre-Marie Pédrot2015-01-05
* CoqIDE: cleanup jobs window on worker deathGravatar Enrico Tassi2014-12-17
* IDE: disable editable text area underline when -debugGravatar Enrico Tassi2014-09-09
* STM: code restructured to reuse task queue for tacticsGravatar Enrico Tassi2014-08-05
* Allowing proof view to be detached in CoqIDE.Gravatar Pierre-Marie Pédrot2014-04-07
* CoqIDE: Errors page gets red if not emptyGravatar Enrico Tassi2014-03-12
* CoqIDE: detachable message/error/jobs panesGravatar Enrico Tassi2014-03-12
* Move error and job display to the lower right pane.Gravatar Guillaume Melquiond2014-03-04
* CoqIDE: new feedback "incomplete" to signal partial QedGravatar Enrico Tassi2013-12-24
* CoqIDE: always retag on insertGravatar gareuselesinge2013-10-22
* Wg_Find: regex + case insensitive find/replace supportGravatar gareuselesinge2013-10-22
* CoqIDE: error reporting fixedGravatar gareuselesinge2013-10-10
* wg_Command: detachable, less "from the 80s", query paneGravatar gareuselesinge2013-09-30
* wg_Session: fix copy/paste of tagged textGravatar gareuselesinge2013-09-30
* CoqIDE ported to the revides protocolGravatar gareuselesinge2013-09-30
* CoqIDE: fixed detection of edits in the locked zoneGravatar gareuselesinge2013-08-20
* Automatic backtracking if locked zone is editedGravatar gareuselesinge2013-08-11
* Coqide ported to STMGravatar gareuselesinge2013-08-08
* Coqide: Globalization feedback (proof of concept)Gravatar gareuselesinge2013-04-25
* Coqide: new feedback mechanism for structured contentGravatar gareuselesinge2013-04-25
* Better encapsulation of MessageViewGravatar ppedrot2013-03-20
* Fixing an annoying bug in CoqIDE which causes the very first lineGravatar ppedrot2013-02-20
* Coqide: cleaner Coq.PrintOpt and session creationGravatar letouzey2012-12-19
* Coqide: some more refactoring to lighten coqide.mlGravatar letouzey2012-12-10