Ryan Culpepper
1608a90ab0
Macro stepper: show error message for interrupted expansion
...
svn: r7891
2007-12-03 13:43:31 +00:00
Ryan Culpepper
c68035079f
Macro stepper: better error handling
...
svn: r7890
2007-12-03 13:38:20 +00:00
Ryan Culpepper
60fe499e4e
merged changes from branches/ryanc/ms-v4
...
svn: r7741
2007-11-15 18:37:40 +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
ebb27d0d0f
Macro stepper: tackable arrows
...
svn: r5930
2007-04-13 16:56:32 +00:00
Ryan Culpepper
c340b21110
Macro stepper: added basic expansion-frontier tracking and display
...
svn: r5715
2007-03-01 23:45:55 +00:00
Ryan Culpepper
75a0a02355
Macro stepper: started tracking definite uses, added definite arrows
...
svn: r5700
2007-02-27 22:42:07 +00:00
Ryan Culpepper
469e6f65cc
Macro stepper: changed apparent binding arrow color to match syncheck
...
svn: r5679
2007-02-23 22:02:40 +00:00
Ryan Culpepper
3652cbee39
Macro stepper: fixed bugs re: binding arrows
...
svn: r5676
2007-02-23 11:45:00 +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
cf3da5cf7d
Macro stepper: show/hide props reflows syntax display
...
svn: r5451
2007-01-25 05:11:05 +00:00
Ryan Culpepper
201d34d3c7
Ported macro-debugger collection to new unit system
...
svn: r5123
2006-12-14 23:29:57 +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
bdc179ebfd
Removed old dead code
...
svn: r4515
2006-10-07 22:32:25 +00:00
Ryan Culpepper
39145f9c71
Fixed eol properties
...
Reorganized macro stepper gui
Added macro stepper actions to popup menu
svn: r4505
2006-10-06 04:48:14 +00:00
Ryan Culpepper
2954ed5844
Reorganized syntax-browser
...
svn: r4500
2006-10-06 02:26:04 +00:00
Ryan Culpepper
bc02b021b9
Fixed location bug with popup menu
...
Improved syntax snips
svn: r4492
2006-10-05 06:08:49 +00:00
Ryan Culpepper
00b0dc8f10
Added context popup menu to syntax browser & macro stepper
...
Made identifier=? menus use checkable items
svn: r4461
2006-10-01 22:38:19 +00:00
Ryan Culpepper
57f3a709d1
Added simple context menu to syntax-browser
...
svn: r4459
2006-10-01 19:11:35 +00:00
Ryan Culpepper
ba5c8d5b07
Font size changes; prefs setting overrides default
...
svn: r4308
2006-09-11 13:47:27 +00:00
Ryan Culpepper
407339e935
Fixed width calculation
...
svn: r4301
2006-09-11 01:02:19 +00:00
Ryan Culpepper
61798f478e
Macro debugger changes merged from /branches/ryanc/md2 4050:4176
...
Fixed macro hiding on applications
Stepper font depends on framework settings
Fixed hiding policies and gui wrt lexical vs global bindings
Macro hiding removes renaming steps
Better handling of nonlinear subterms & local actions
Automatic pretty-print resizing
Handled local-bind action (partial?)
Enabled module language
Disabled struct contracts for faster compilation
Fixed syntax-browser on boxes, 3d syntax; normalized print params
Fixed PR 8246: syntax-browser mishandled non-ascii characters
svn: r4178
2006-08-28 22:58:52 +00:00
Ryan Culpepper
d91e2b4502
Added the macro stepper
...
svn: r3987
2006-08-08 20:32:58 +00:00
