Ryan Culpepper
07321ca17c
macro-stepper: syntax display speedups (?)
...
switched from style-deltas to styles
tree traversal of ranges, avoid idempotent style changes
svn: r16407
2009-10-22 06:00:15 +00:00
Matthew Flatt
5165d9e855
sync Ryan's macro-debugger changes
...
svn: r9166
2008-04-04 17:38:23 +00:00
Ryan Culpepper
13a3c31ad5
changed macro-debugger to use v4 syntax (mostly)
...
svn: r8544
2008-02-05 21:56:49 +00:00
Ryan Culpepper
3f7ef88416
Macro stepper: fixed bugs and added new binding info (#%app, #%top, #%datum)
...
svn: r7395
2007-09-21 21:03:50 +00:00
Ryan Culpepper
2be282a0be
Macro Stepper: merged new ui from branches/ryanc/ms-new-ui
...
svn: r7215
2007-08-29 20:42:01 +00:00
Ryan Culpepper
1198412bae
Macro stepper: fixed display of same-module identifer binding
...
svn: r5680
2007-02-23 22:03:11 +00:00
Ryan Culpepper
9aa54a095c
Macro Stepper: added "apparent binding" arrows based on macro expansion
...
svn: r5675
2007-02-23 11:06:38 +00:00
Ryan Culpepper
056683743d
Merged changes to macro-debugger from /branches/ryanc/md5 4899:5119
...
updated to change in expansion of lexical variables
many UI updates and tweaks
improved syntax properties panel
added expand-only and expand/hide
added rudimentary textual stepper
fixed PR 8395 by adding snipclass for hrule-snip
fixed PR 8431: reductions and block splicing
fixed PR 8433: handling unquote and macro hiding w/ errors in hidden terms
svn: r5120
2006-12-14 21:25:21 +00:00
Ryan Culpepper
d91e2b4502
Added the macro stepper
...
svn: r3987
2006-08-08 20:32:58 +00:00
