aboutsummaryrefslogtreecommitdiff
path: root/ide/coq.ml
AgeCommit message (Expand)Author
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
2011-09-27In Coq_config: get rid of coqsrc and make coqlib optionalglondu
2011-09-05Ide_intf: slight reorganisation of the IDE apiletouzey
2011-09-01safe_prerr_endline in Minilibpboutill
2011-04-28Coqide: try to properly send interrupts to coqtop on Win32letouzey
2011-04-21Coqide: let's try to be synchronuous when killing coqtopletouzey
2011-04-21Coqlib: avoid deadlock under win32 with force_reset_initialletouzey
2011-04-21Coqide: back to using Unix.stderr in create_processletouzey
2011-04-21Coqide: better handling of stdout/stderr in win32letouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 05:43:51 +0000