aboutsummaryrefslogtreecommitdiff
path: root/ide/coq.ml
AgeCommit message (Expand)Author
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
2011-04-21Coqide: quote coqtop filename if necessaryletouzey
2011-04-21Coqide: a special kill function for win32letouzey
2011-04-21Coqide: try to avoid displaying error messages on coqide's consoleletouzey
2011-04-21Win32: if we make coqide console-free, then stderr/stdout/sdtin shouldn't be ...letouzey
2011-03-30Coqide: avoid confusion of process when restarting coqtop + cosmeticletouzey
2011-03-30Ide_slave: better handling of Ctrl-Cletouzey
2011-03-28Ide: misc (nicer message than End_of_file, a useless try removedletouzey
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-07Call coqtop with -nois when probing for filespboutill
2011-01-06Reverted r13715 "Add improved indenters that rely on the current proof state ...gmelquio
2011-01-06Remove Safe_marshalglondu
2010-12-14Add improved indenters that rely on the current proof state to choose the ind...gmelquio
2010-12-04Made new comm. model between coq and coqide support '-R foo ""'-style option.herbelin
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-12coqide: s/Sys.argv.(0)/Sys.executable_name/ for coqtop (cf #2341)glondu
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-07-02Fixing tabs closing problems by removing activation infrastructure.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-31More indirection.vgross
2010-05-31Introducing strong typing for IDE - toplevel IPCvgross
2010-05-31deporting Coq specific code from ide to toplevel.vgross
2010-05-31Modifying startup sequencevgross
2010-05-19Add (almost) compatibility with camlp4, without breaking support for camlp5letouzey
2010-05-07Fix bug #2315 : printing of defined evars in Coqide.aspiwack
2010-05-05Pfedit.resume_proof doesn't implicitly Pfedit.suspend_proofpboutill
2010-04-30Fail: a way to check that a command is refused without blocking a scriptletouzey
2010-04-29Remove the svn-specific $Id$ annotationsletouzey
2010-04-22Here comes the commit, announced long ago, of the new tactic engine.aspiwack
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-18 04:44:46 +0000