aboutsummaryrefslogtreecommitdiff
path: root/ide/coqide.ml
AgeCommit message (Expand)Author
2011-03-28Ide: new option -coqtop <mycoqtop> + remove wrong quoting of argsletouzey
2011-03-25ide/coqide.ml: a pass of more decent automatic indentationletouzey
2011-03-25Ide: more reorganisation and cleanupletouzey
2011-03-25Ide_intf : change type of location in ideletouzey
2011-03-25Ide: mention "Restart" instead of "Go to start" for corresponding buttonletouzey
2011-03-23Ide: stronger separation from coqtopletouzey
2011-03-23Ide: experimentally allow coqide to interrupt or kill coqtopletouzey
2011-01-07MacOS integrationpboutill
2011-01-07Separate load_file handler in coqidepboutill
2011-01-07Fix print in coqidepboutill
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-12-14Add navigation items for quickly moving between word occurrences.gmelquio
2010-12-14Improved the search/replace dialog box:gmelquio
2010-12-14Fix mutex being released from a different thread than it is acquired from.gmelquio
2010-12-13Avoid silent loss of data when closing an unsaved buffer.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-11-04End of commit 13600: files can be given as arguments of coqide again.pboutill
2010-09-28Fix function applications without labels (OCaml warning 6)glondu
2010-09-14CoqIDE argv parsing delegated to coqtopvgross
2010-09-13Fix unescaped end-of-lines (OCaml warning 29)glondu
2010-07-24Updated all headers for 8.3 and trunkherbelin
2010-07-05Fix goal display when backtrackingvgross
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-22fix bug #2318, parsing error on dos line endingsvgross
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-04-28Dont recompute the contents of the proof window when entering thevgross
2010-04-22Here comes the commit, announced long ago, of the new tactic engine.aspiwack
2010-04-05Changement de ide/proofs.ml en ide/ideproofs.ml pour éviter un conflitaspiwack
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-02-26New backtracking code + fix bug #2082.vgross
2010-02-26Introducing a dual stack setupvgross
2010-02-26New API for backtracking.vgross
2010-02-25Various fixes in interp, session switching and backtrackingvgross
2010-02-25Changes in lexing and tagging.vgross
2010-02-18Fixing modules names.vgross
2010-02-12Refactoring of the printing optionsvgross
2010-01-14Fix uncaught exceptionvgross
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-23 10:47:13 +0000