aboutsummaryrefslogtreecommitdiff
path: root/ide/coq.ml
AgeCommit message (Expand)Author
2014-04-10CoqIDE: removing a timer may raise an exceptionEnrico Tassi
2014-03-12Stm: smarter delegation policyEnrico Tassi
2014-03-06remove trailing '\r' from file names returned by coqtopVirgile Prevosto
2014-02-17CoqIDE: when coqtop misbehaves kill it properly (no zombie)Enrico Tassi
2014-01-30STM + CoqIDE: stop_worker message and UIEnrico Tassi
2014-01-26CoqIDE: command line for extra coqtop "flags"Enrico Tassi
2014-01-26CoqIDE: ported to spawnEnrico Tassi
2014-01-05Paral-ITP: cleanup of command line flags and more conservative defaultEnrico Tassi
2013-12-11Fix CoqIDE compilation under standard version of lablgtk2Enrico Tassi
2013-12-10Fix CoqIDE on windowsEnrico Tassi
2013-10-01CoqIDE: do not fail hard if a message is asynchronousgareuselesinge
2013-09-30CoqIDE ported to the revides protocolgareuselesinge
2013-09-04More robust argument setter in CoqIDE. It does not crash anymore on badppedrot
2013-08-08stm: (initial) support for -coq-slavesgareuselesinge
2013-08-08Coqide ported to STMgareuselesinge
2013-07-27Added a way to change dynamically coqtop arguments in CoqIDE.ppedrot
2013-05-06New module Xml_printer (dual to Xml_parser)gareuselesinge
2013-04-25raise UnsafeSuccess -> feedback AddedAxiomgareuselesinge
2013-04-25Coqide: new feedback mechanism for structured contentgareuselesinge
2013-04-19interface.mli and serialize.ml reworked to avoid copy/paste of typesgareuselesinge
2013-02-22Tentative heuristic fix to handle lexer failures from CoqIDE whenppedrot
2013-01-26Monadification of coqtop queries in CoqIDEppedrot
2013-01-26Uniformization of Coq tasksppedrot
2013-01-22Coqide: avoid potentially blocking read on coqtop channelletouzey
2012-12-19Coqide: cleaner Coq.PrintOpt and session creationletouzey
2012-12-08Coqide: handle possible fragmentation in xml answersletouzey
2012-12-08Coqide: get rid of threads, use gtk asynchronous i/o insteadletouzey
2012-11-12Coqide : allow properly closing communication pipes with coqtopletouzey
2012-09-17More type-safe interface to Coq XML API.ppedrot
2012-08-08Updating headers.herbelin
2012-06-29Various small display improvementppedrot
2012-06-29Now CoqIDE separates answer and messages. This should hopefullyppedrot
2012-06-26Now CoqIDE auto-sets the printing width of the goal display.ppedrot
2012-05-23Cleaned prerr_endline use.ppedrot
2012-05-15Coqide: minor formatting improvement of an error messageletouzey
2012-05-15Coqide: in win32 command given to cmd.exe should be more quotedletouzey
2012-05-15Coqide: display initial connection errors in popups instead of on stderrletouzey
2012-05-13Added semantic completion in CoqIDE. (Should also add an option for that...)ppedrot
2012-05-13Heavily rewritten the coqtop management process of coqide. The coqtopppedrot
2012-05-11Coqide awful coqtop options parsing fixuppboutill
2012-05-02Removed the useless use of a reference in preference handling.ppedrot
2012-04-17Coqide: the coqtop to launch is a preference.pboutill
2012-04-12lib directory is cut in 2 cma.pboutill
2011-12-18CoqIde files position is freedesktop compliant.pboutill
2011-12-15Cleaned up a bit goal handling in Coqtop interface. Now we have two queries :...ppedrot
2011-11-30Fixed a bug introduced in r12755. CoqIDE would ignore the Printing Existentia...ppedrot
2011-11-30Now CoqIDE relies on the option query mechanism to set printing options. Stil...ppedrot
2011-11-25Separated the toplevel interface into a purely declarative module with associ...ppedrot
2011-11-18Return of the tactic hints features in CoqIDE.ppedrot
2011-11-06Also sprach CoqIDE (in XML)ppedrot
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-28 12:50:19 +0000