aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/coq.ml
Commit message (Expand)AuthorAge
* Tentative heuristic fix to handle lexer failures from CoqIDE whenGravatar ppedrot2013-02-22
* Monadification of coqtop queries in CoqIDEGravatar ppedrot2013-01-26
* Uniformization of Coq tasksGravatar ppedrot2013-01-26
* Coqide: avoid potentially blocking read on coqtop channelGravatar letouzey2013-01-22
* Coqide: cleaner Coq.PrintOpt and session creationGravatar letouzey2012-12-19
* Coqide: handle possible fragmentation in xml answersGravatar letouzey2012-12-08
* Coqide: get rid of threads, use gtk asynchronous i/o insteadGravatar letouzey2012-12-08
* Coqide : allow properly closing communication pipes with coqtopGravatar letouzey2012-11-12
* More type-safe interface to Coq XML API.Gravatar ppedrot2012-09-17
* Updating headers.Gravatar herbelin2012-08-08
* Various small display improvementGravatar ppedrot2012-06-29
* 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
* Cleaned prerr_endline use.Gravatar ppedrot2012-05-23
* Coqide: minor formatting improvement of an error messageGravatar letouzey2012-05-15
* Coqide: in win32 command given to cmd.exe should be more quotedGravatar letouzey2012-05-15
* 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 awful coqtop options parsing fixupGravatar pboutill2012-05-11
* Removed the useless use of a reference in preference handling.Gravatar ppedrot2012-05-02
* Coqide: the coqtop to launch is a preference.Gravatar pboutill2012-04-17
* lib directory is cut in 2 cma.Gravatar pboutill2012-04-12
* 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
* Fixed a bug introduced in r12755. CoqIDE would ignore the Printing Existentia...Gravatar ppedrot2011-11-30
* 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
* Also sprach CoqIDE (in XML)Gravatar ppedrot2011-11-06
* In Coq_config: get rid of coqsrc and make coqlib optionalGravatar glondu2011-09-27
* Ide_intf: slight reorganisation of the IDE apiGravatar letouzey2011-09-05
* safe_prerr_endline in MinilibGravatar pboutill2011-09-01
* Coqide: try to properly send interrupts to coqtop on Win32Gravatar letouzey2011-04-28
* Coqide: let's try to be synchronuous when killing coqtopGravatar letouzey2011-04-21
* Coqlib: avoid deadlock under win32 with force_reset_initialGravatar letouzey2011-04-21
* Coqide: back to using Unix.stderr in create_processGravatar letouzey2011-04-21
* Coqide: better handling of stdout/stderr in win32Gravatar letouzey2011-04-21
* Coqide: quote coqtop filename if necessaryGravatar letouzey2011-04-21
* Coqide: a special kill function for win32Gravatar letouzey2011-04-21
* Coqide: try to avoid displaying error messages on coqide's consoleGravatar letouzey2011-04-21
* Win32: if we make coqide console-free, then stderr/stdout/sdtin shouldn't be ...Gravatar letouzey2011-04-21
* Coqide: avoid confusion of process when restarting coqtop + cosmeticGravatar letouzey2011-03-30
* Ide_slave: better handling of Ctrl-CGravatar letouzey2011-03-30
* Ide: misc (nicer message than End_of_file, a useless try removedGravatar letouzey2011-03-28
* 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