aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/ide
Commit message (Expand)AuthorAge
* Moving the parsing of the Ltac proof mode to G_ltac.Gravatar Pierre-Marie Pédrot2016-03-19
* STM: states coming from workers have no proof terminators (Close #4246)Gravatar Enrico Tassi2015-06-09
* STM: silly mistake in jumping back to an old state (Close #4249)Gravatar Enrico Tassi2015-06-09
* STM: preserve branch name on edit (Close: #4245, #4246)Gravatar Enrico Tassi2015-05-28
* Test for 4159Gravatar Enrico Tassi2015-05-28
* admit: replaced by give_up + Admitted (no proof_admitted : False, close #4032)Gravatar Enrico Tassi2015-03-11
* Future: blocking by defaultGravatar Enrico Tassi2014-12-17
* fake_ide: ported to spawnGravatar Enrico Tassi2014-02-10
* Document: undoing inside a focused zone does not require unfocusingGravatar gareuselesinge2013-10-10
* fake_ide: ported to Document + 2 tests for editing a proof (locally)Gravatar gareuselesinge2013-10-10
* fake_ide: speak the new protocolGravatar gareuselesinge2013-10-07
* Coqide ported to STMGravatar gareuselesinge2013-08-08
* test-suite/ide: misc improvementGravatar letouzey2011-09-06
* fake_ide: a short program to mimic an ide talking to coqtop -ideslaveGravatar letouzey2011-09-05
* Introducing strong typing for IDE - toplevel IPCGravatar vgross2010-05-31
* Fix bug in backtracking.Gravatar vgross2010-03-23
* New backtracking code + fix bug #2082.Gravatar vgross2010-02-26
* - Correction bug highlighting "Module" dans CoqideGravatar herbelin2008-05-28
* Correction bugs ide undo et highlight (suite à typos)Gravatar herbelin2008-05-21
* Léger backtrack sur commit coqide précédent (si la commande à annulerGravatar herbelin2008-05-20
* Fixed coqide bug #1856 that was introduced in revision 10915.Gravatar herbelin2008-05-20