aboutsummaryrefslogtreecommitdiff
path: root/ide/coq.ml
AgeCommit message (Expand)Author
2016-06-27Merge branch 'v8.5'Pierre-Marie Pédrot
2016-06-27Fix bug #4698: CoqIDE error dialogs piling up when coqtop dies.Pierre-Marie Pédrot
2016-06-25[feedback] Remove unused tag on `Debug` level.Emilio Jesus Gallego Arias
2016-06-06xmlprotocol: Marshal_error carries the reasonEnrico Tassi
2016-06-02Encapsulate xml serialization in xmlprotocol.mliEmilio Jesus Gallego Arias
2016-05-31Feedback cleanupEmilio Jesus Gallego Arias
2016-02-21Merge branch 'v8.5'Pierre-Marie Pédrot
2016-02-19CoqIDE: STOP button also stops workers (fix #4542)Enrico Tassi
2016-01-21Merge branch 'v8.5'Pierre-Marie Pédrot
2016-01-20Update copyright headers.Maxime Dénès
2016-01-02Remove some unused functions.Guillaume Melquiond
2015-09-20Rich printing of messages.Pierre-Marie Pédrot
2015-09-20Do not canonicalize messages received by CoqIDE.Pierre-Marie Pédrot
2015-08-16Turning CoqIDE preferences into new style.Pierre-Marie Pédrot
2015-01-12Update headers.Maxime Dénès
2014-08-05Coqide: check_connection now also checks correct loading of coqide plugin +Hugo Herbelin
2014-06-30Little coqide bug, when coqtop outputs empty lines, as e.g. when calling coqi...Hugo Herbelin
2014-06-25all coqide specific files moved into ide/Enrico Tassi
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-10 13:40:25 +0000