aboutsummaryrefslogtreecommitdiff
path: root/ide
AgeCommit message (Expand)Author
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-10Fix build with OCaml 3.12glondu
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-05-04 - Fixing bug #2308 about Lemma ... withvsiles
2010-05-03ocamldoc related fixespboutill
2010-04-30Fail: a way to check that a command is refused without blocking a scriptletouzey
2010-04-29"make source-doc" builds documentation of mli in html and pdf atpboutill
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-16Util: remove list_split_at which is a clone of list_chopletouzey
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-03-23New functions for goals fetching.vgross
2010-03-23Fix bug in backtracking.vgross
2010-03-23debuggingvgross
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-25Various fixes in interp, session switching and backtrackingvgross
2010-02-25Changes in lexing and tagging.vgross
2010-02-19Fixing compilation issuesvgross
2010-02-18Fixing modules names.vgross
2010-02-18Adding uim filesvgross
2010-02-18Polishing the setup of CoqIDE Input Methodvgross
2010-02-15Change the customization of modifiers (bug #2210)vgross
2010-02-12Simplify backtrackingvgross
2010-02-12Delineating a API for Coq inside toplevel/vernac.mlvgross
2010-02-12Refactoring of the printing optionsvgross
2010-01-28New command Declare Reduction <id> := <conv_expr>.letouzey
2010-01-14Fix uncaught exceptionvgross
2010-01-11Revert "Isolation of proof-displaying code"vgross
2010-01-11Isolation of proof-displaying codevgross
2009-12-21Patches and instructions to enable Input Method support in CoqIDE.vgross
2009-12-11Deport the backtracking code out of the idevgross
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-04 01:56:25 +0000