aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/coq.mli
Commit message (Expand)AuthorAge
* 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
* Ide: more reorganisation and cleanupGravatar letouzey2011-03-25
* Ide_intf : change type of location in ideGravatar letouzey2011-03-25
* Ide: stronger separation from coqtopGravatar letouzey2011-03-23
* Ide: experimentally allow coqide to interrupt or kill coqtopGravatar letouzey2011-03-23
* Reverted r13715 "Add improved indenters that rely on the current proof state ...Gravatar gmelquio2011-01-06
* Add improved indenters that rely on the current proof state to choose the ind...Gravatar gmelquio2010-12-14
* Improved error messages in CoqIDE:Gravatar herbelin2010-11-07
* CoqIDE argv parsing delegated to coqtopGravatar vgross2010-09-14
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* Robustness fix : clean restart of coqtop on pipe error + force matchingGravatar vgross2010-07-05