aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/coq.ml
Commit message (Expand)AuthorAge
* Coqide: check_connection now also checks correct loading of coqide plugin +Gravatar Hugo Herbelin2014-08-05
* Little coqide bug, when coqtop outputs empty lines, as e.g. when calling coqi...Gravatar Hugo Herbelin2014-06-30
* all coqide specific files moved into ide/Gravatar Enrico Tassi2014-06-25
* CoqIDE: removing a timer may raise an exceptionGravatar Enrico Tassi2014-04-10
* Stm: smarter delegation policyGravatar Enrico Tassi2014-03-12
* remove trailing '\r' from file names returned by coqtopGravatar Virgile Prevosto2014-03-06
* CoqIDE: when coqtop misbehaves kill it properly (no zombie)Gravatar Enrico Tassi2014-02-17
* STM + CoqIDE: stop_worker message and UIGravatar Enrico Tassi2014-01-30
* CoqIDE: command line for extra coqtop "flags"Gravatar Enrico Tassi2014-01-26
* CoqIDE: ported to spawnGravatar Enrico Tassi2014-01-26
* Paral-ITP: cleanup of command line flags and more conservative defaultGravatar Enrico Tassi2014-01-05
* Fix CoqIDE compilation under standard version of lablgtk2Gravatar Enrico Tassi2013-12-11
* Fix CoqIDE on windowsGravatar Enrico Tassi2013-12-10
* CoqIDE: do not fail hard if a message is asynchronousGravatar gareuselesinge2013-10-01
* CoqIDE ported to the revides protocolGravatar gareuselesinge2013-09-30
* More robust argument setter in CoqIDE. It does not crash anymore on badGravatar ppedrot2013-09-04
* stm: (initial) support for -coq-slavesGravatar gareuselesinge2013-08-08
* Coqide ported to STMGravatar gareuselesinge2013-08-08
* Added a way to change dynamically coqtop arguments in CoqIDE.Gravatar ppedrot2013-07-27
* New module Xml_printer (dual to Xml_parser)Gravatar gareuselesinge2013-05-06
* raise UnsafeSuccess -> feedback AddedAxiomGravatar gareuselesinge2013-04-25
* Coqide: new feedback mechanism for structured contentGravatar gareuselesinge2013-04-25
* interface.mli and serialize.ml reworked to avoid copy/paste of typesGravatar gareuselesinge2013-04-19
* 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