aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/ide
Commit message (Expand)AuthorAge
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-28 00:28:52 +0000