aboutsummaryrefslogtreecommitdiff
path: root/ide/coq.mli
AgeCommit message (Expand)Author
2012-06-23Fixing a potential bug of coqtop management in CoqIDE due to appedrot
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-04-17Coqide: the coqtop to launch is a preference.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-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-18Making status info better in CoqIDE: path and name of current lemmappedrot
2011-09-05Coqide: new backtracking code, based on the Backtrack commandletouzey
2011-09-05Ide_intf: slight reorganisation of the IDE apiletouzey
2011-04-28Coqide: try to properly send interrupts to coqtop on Win32letouzey
2011-04-21Coqlib: avoid deadlock under win32 with force_reset_initialletouzey
2011-04-21Coqide: a special kill function for win32letouzey
2011-03-30Coqide: avoid confusion of process when restarting coqtop + cosmeticletouzey
2011-03-30Ide_intf: remove useless int answer to the "interp" and "rewind" callsletouzey
2011-03-28Ide: new option -coqtop <mycoqtop> + remove wrong quoting of argsletouzey
2011-03-25Ide: more reorganisation and cleanupletouzey
2011-03-25Ide_intf : change type of location in ideletouzey
2011-03-23Ide: stronger separation from coqtopletouzey
2011-03-23Ide: experimentally allow coqide to interrupt or kill coqtopletouzey
2011-01-06Reverted r13715 "Add improved indenters that rely on the current proof state ...gmelquio
2010-12-14Add improved indenters that rely on the current proof state to choose the ind...gmelquio
2010-11-07Improved error messages in CoqIDE:herbelin
2010-09-14CoqIDE argv parsing delegated to coqtopvgross
2010-07-24Updated all headers for 8.3 and trunkherbelin
2010-07-05Robustness fix : clean restart of coqtop on pipe error + force matchingvgross
2010-07-05Stronger checks on coqtop termination, warning when zombies.vgross
2010-06-07fixing error message display.vgross
2010-06-01added -args option to coqide to pass options to coqtopsvgross
2010-05-31CoqIDE goes multiprocessvgross
2010-05-31Introducing strong typing for IDE - toplevel IPCvgross
2010-05-31deporting Coq specific code from ide to toplevel.vgross
2010-04-29Remove the svn-specific $Id$ annotationsletouzey
2010-03-23Changing types to reflect futur separation between toplevel and ide.vgross
2010-03-23Goal generation deported into ide/coq.ml, single function to obtainvgross
2010-03-23New functions for goals fetching.vgross
2010-02-26New backtracking code + fix bug #2082.vgross
2010-02-26Introducing a dual stack setupvgross
2010-02-26New API for backtracking.vgross
2010-02-26Redispatch of printing tweaking hooks.vgross
2010-02-12Simplify backtrackingvgross
2010-02-12Refactoring of the printing optionsvgross
2010-01-11Revert "Isolation of proof-displaying code"vgross
2010-01-11Isolation of proof-displaying codevgross
2009-12-11Deport the backtracking code out of the idevgross
2009-12-03Fix bug #2191 : Serious "undo" performance degradation since 8.2pl1vgross
2009-11-19Refactoring of coqide backtrack code, with the intent to put everythingvgross
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-02 12:36:42 +0000