aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/coq.mli
Commit message (Expand)AuthorAge
* [ide] Localize a IDE-specific flag.Gravatar Emilio Jesus Gallego Arias2018-02-15
* Fix BZ#5687: Coqtop died badly modal message box from CoqIDE.Gravatar Pierre-Marie Pédrot2017-08-23
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* Adding an option "Printing Unfocused".Gravatar Pierre Courtieu2017-05-04
* [ide] Dynamic printing width.Gravatar Emilio Jesus Gallego Arias2017-03-21
* [ide] Use "log via feedback".Gravatar Emilio Jesus Gallego Arias2017-03-21
* Fix bug #4698: CoqIDE error dialogs piling up when coqtop dies.Gravatar Pierre-Marie Pédrot2016-06-27
* CoqIDE: STOP button also stops workers (fix #4542)Gravatar Enrico Tassi2016-02-19
* Update copyright headers.Gravatar Maxime Dénès2016-01-20
* Fix some typos.Gravatar Guillaume Melquiond2015-10-13
* Update headers.Gravatar Maxime Dénès2015-01-12
* CoqIDE: on win32 the old interrputer code (SIGINT) is still neededGravatar Enrico Tassi2014-07-10
* all coqide specific files moved into ide/Gravatar Enrico Tassi2014-06-25
* Stm: smarter delegation policyGravatar Enrico Tassi2014-03-12
* STM + CoqIDE: stop_worker message and UIGravatar Enrico Tassi2014-01-30
* CoqIDE: ported to spawnGravatar Enrico Tassi2014-01-26
* Fix CoqIDE compilation under standard version of lablgtk2Gravatar Enrico Tassi2013-12-11
* CoqIDE ported to the revides protocolGravatar gareuselesinge2013-09-30
* Coqide ported to STMGravatar gareuselesinge2013-08-08
* Added a way to change dynamically coqtop arguments in CoqIDE.Gravatar ppedrot2013-07-27
* Coqide: new feedback mechanism for structured contentGravatar gareuselesinge2013-04-25
* updating ide/coq documentationGravatar ppedrot2013-01-26
* Monadification of coqtop queries in CoqIDEGravatar ppedrot2013-01-26
* Uniformization of Coq tasksGravatar ppedrot2013-01-26
* Coqide: cleaner Coq.PrintOpt and session creationGravatar letouzey2012-12-19
* Coqide: get rid of threads, use gtk asynchronous i/o insteadGravatar letouzey2012-12-08
* When asked for a SearchAbout request, Coq now returns a more preciseGravatar ppedrot2012-09-09
* No more states/initial.coq, instead coqtop now requires Prelude.voGravatar letouzey2012-08-23
* Updating headers.Gravatar herbelin2012-08-08
* Now CoqIDE separates answer and messages. This should hopefullyGravatar ppedrot2012-06-29
* Now CoqIDE auto-sets the printing width of the goal display.Gravatar ppedrot2012-06-26
* Fixing a potential bug of coqtop management in CoqIDE due to aGravatar ppedrot2012-06-23
* Coqide: display initial connection errors in popups instead of on stderrGravatar letouzey2012-05-15
* Added semantic completion in CoqIDE. (Should also add an option for that...)Gravatar ppedrot2012-05-13
* Heavily rewritten the coqtop management process of coqide. The coqtopGravatar ppedrot2012-05-13
* Coqide: the coqtop to launch is a preference.Gravatar pboutill2012-04-17
* CoqIde files position is freedesktop compliant.Gravatar pboutill2011-12-18
* Cleaned up a bit goal handling in Coqtop interface. Now we have two queries :...Gravatar ppedrot2011-12-15
* Now CoqIDE relies on the option query mechanism to set printing options. Stil...Gravatar ppedrot2011-11-30
* Separated the toplevel interface into a purely declarative module with associ...Gravatar ppedrot2011-11-25
* Return of the tactic hints features in CoqIDE.Gravatar ppedrot2011-11-18
* Making status info better in CoqIDE: path and name of current lemmaGravatar ppedrot2011-11-18
* Coqide: new backtracking code, based on the Backtrack commandGravatar letouzey2011-09-05
* Ide_intf: slight reorganisation of the IDE apiGravatar letouzey2011-09-05
* Coqide: try to properly send interrupts to coqtop on Win32Gravatar letouzey2011-04-28
* Coqlib: avoid deadlock under win32 with force_reset_initialGravatar letouzey2011-04-21
* Coqide: a special kill function for win32Gravatar letouzey2011-04-21
* Coqide: avoid confusion of process when restarting coqtop + cosmeticGravatar letouzey2011-03-30
* Ide_intf: remove useless int answer to the "interp" and "rewind" callsGravatar letouzey2011-03-30
* Ide: new option -coqtop <mycoqtop> + remove wrong quoting of argsGravatar letouzey2011-03-28