aboutsummaryrefslogtreecommitdiff
path: root/test-suite/ide
AgeCommit message (Expand)Author
2019-03-04[stm] unfocus when edition exits the proof (fix #9431)Enrico Tassi
2019-01-27[test] for bug #9385Enrico Tassi
2018-12-13[test] for join when error resiliency on and async-proofs offEnrico Tassi
2018-12-13[test] for #9204Enrico Tassi
2018-05-17Introduce an option to allow nested lemma, and turn it off by default.Théo Zimmermann
2018-03-28Merge PR #7090: stm: don't propagate side effects when editing a proofEmilio Jesus Gallego Arias
2018-03-27stm: don't propagate side effects when editing a proofEnrico Tassi
2018-03-10[test-suite] Add backtracking test for `Load`.Emilio Jesus Gallego Arias
2017-06-14Prelude : no more autoload of plugins extraction and recdefPierre Letouzey
2017-03-07Farewell decl_modeEnrico Tassi
2016-03-19Moving the parsing of the Ltac proof mode to G_ltac.Pierre-Marie Pédrot
2015-06-09STM: states coming from workers have no proof terminators (Close #4246)Enrico Tassi
2015-06-09STM: silly mistake in jumping back to an old state (Close #4249)Enrico Tassi
2015-05-28STM: preserve branch name on edit (Close: #4245, #4246)Enrico Tassi
2015-05-28Test for 4159Enrico Tassi
2015-03-11admit: replaced by give_up + Admitted (no proof_admitted : False, close #4032)Enrico Tassi
2014-12-17Future: blocking by defaultEnrico Tassi
2014-02-10fake_ide: ported to spawnEnrico Tassi
2013-10-10Document: undoing inside a focused zone does not require unfocusinggareuselesinge
2013-10-10fake_ide: ported to Document + 2 tests for editing a proof (locally)gareuselesinge
2013-10-07fake_ide: speak the new protocolgareuselesinge
2013-08-08Coqide ported to STMgareuselesinge
2011-09-06test-suite/ide: misc improvementletouzey
2011-09-05fake_ide: a short program to mimic an ide talking to coqtop -ideslaveletouzey
2010-05-31Introducing strong typing for IDE - toplevel IPCvgross
2010-03-23Fix bug in backtracking.vgross
2010-02-26New backtracking code + fix bug #2082.vgross
2008-05-28- Correction bug highlighting "Module" dans Coqideherbelin
2008-05-21Correction bugs ide undo et highlight (suite à typos)herbelin
2008-05-20Léger backtrack sur commit coqide précédent (si la commande à annulerherbelin
2008-05-20Fixed coqide bug #1856 that was introduced in revision 10915.herbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 16:27:26 +0000