aboutsummaryrefslogtreecommitdiff
path: root/toplevel/ide_blob.ml
AgeCommit message (Expand)Author
2011-03-23Ide: stronger separation from coqtopletouzey
2011-03-23Ide: experimentally allow coqide to interrupt or kill coqtopletouzey
2011-02-14- Fix treatment of globality flag for typeclass instance hints (theymsozeau
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-03Redirect stdout to stderr in -ideslaveglondu
2010-12-02Fixing a bug introduced in r12304 (move of interpretation ofherbelin
2010-10-06Remove VernacGoglondu
2010-09-24Some dead code removal, thanks to Oug analyzerletouzey
2010-07-24Updated all headers for 8.3 and trunkherbelin
2010-07-05Fix goal display when backtrackingvgross
2010-07-05Stronger checks on coqtop termination, warning when zombies.vgross
2010-06-07fixing error message display.vgross
2010-06-03Ide_blob: avoid direct use of Stdpp for compatibility with new camlp4letouzey
2010-05-31CoqIDE goes multiprocessvgross
2010-05-31More indirection.vgross
2010-05-31Introducing strong typing for IDE - toplevel IPCvgross
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-08 05:46:44 +0000