Ryan Culpepper
cd359e9c9a
Macro stepper: tackable arrows
...
svn: r5930
original commit: ebb27d0d0f482ebaf946fff2fb63bd38ba7f1ff6
2007-04-13 16:56:32 +00:00
Ryan Culpepper
a4731a40e8
Macro stepper: added basic expansion-frontier tracking and display
...
svn: r5715
original commit: c340b211108b421360e9521247fe8566a70fcabb
2007-03-01 23:45:55 +00:00
Ryan Culpepper
bdbee3601c
Macro stepper: started tracking definite uses, added definite arrows
...
svn: r5700
original commit: 75a0a02355816860e9e1ed4e8cf064d5d3c9299d
2007-02-27 22:42:07 +00:00
Ryan Culpepper
8cb207118a
Macro stepper: changed apparent binding arrow color to match syncheck
...
svn: r5679
original commit: 469e6f65ccfa7e753a97ce98568f011903cb6d15
2007-02-23 22:02:40 +00:00
Ryan Culpepper
a2bd880bbb
Macro stepper: fixed bugs re: binding arrows
...
svn: r5676
original commit: 3652cbee39b42cb4f7cca21b5a9127496f276e3c
2007-02-23 11:45:00 +00:00
Ryan Culpepper
8dbd130698
Macro Stepper: added "apparent binding" arrows based on macro expansion
...
svn: r5675
original commit: 9aa54a095c6735f70575e0bd542e4c4b18996180
2007-02-23 11:06:38 +00:00
Ryan Culpepper
67a7b38e94
Macro stepper: show/hide props reflows syntax display
...
svn: r5451
original commit: cf3da5cf7dd09898315e702537c378ba77992d34
2007-01-25 05:11:05 +00:00
Ryan Culpepper
60ab3ffe85
Ported macro-debugger collection to new unit system
...
svn: r5123
original commit: 201d34d3c7e319210cc6589beca20b30ba09c596
2006-12-14 23:29:57 +00:00
Ryan Culpepper
9ce9194139
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
original commit: 056683743d998145deb4b2e82fa8fc73507ed7e3
2006-12-14 21:25:21 +00:00
Ryan Culpepper
ba6819f1ed
Removed old dead code
...
svn: r4515
original commit: bdc179ebfd884d84bde1efe00e30026d1e70c155
2006-10-07 22:32:25 +00:00
Ryan Culpepper
df01af09b9
Fixed eol properties
...
Reorganized macro stepper gui
Added macro stepper actions to popup menu
svn: r4505
original commit: 39145f9c71807baf1e97d66db63f135fbf7e2999
2006-10-06 04:48:14 +00:00
Ryan Culpepper
9599b2253b
Reorganized syntax-browser
...
svn: r4500
original commit: 2954ed58441dd1cdf4492a9bc2362c41fc6288d2
2006-10-06 02:26:04 +00:00
Ryan Culpepper
5f1b8d4da6
Fixed location bug with popup menu
...
Improved syntax snips
svn: r4492
original commit: bc02b021b94539120c7f72a43f5152701db6e89d
2006-10-05 06:08:49 +00:00
Ryan Culpepper
19920550e1
Added context popup menu to syntax browser & macro stepper
...
Made identifier=? menus use checkable items
svn: r4461
original commit: 00b0dc8f10ce311a620aead3844af299440a0124
2006-10-01 22:38:19 +00:00
Ryan Culpepper
86e824488c
Added simple context menu to syntax-browser
...
svn: r4459
original commit: 57f3a709d1fa26503cda611080deacd8afde19d6
2006-10-01 19:11:35 +00:00
Ryan Culpepper
b59b3e692c
Font size changes; prefs setting overrides default
...
svn: r4308
original commit: ba5c8d5b07b7e37322cd6f4fee2a0a193ac2b467
2006-09-11 13:47:27 +00:00
Ryan Culpepper
3c47257395
Fixed width calculation
...
svn: r4301
original commit: 407339e9353558e3428289d3dc99ad4dfd0ed8d9
2006-09-11 01:02:19 +00:00
Ryan Culpepper
cbf83f809b
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
original commit: 61798f478ec82ff2498c144918226382483a41f5
2006-08-28 22:58:52 +00:00
Ryan Culpepper
06aad5203a
Added the macro stepper
...
svn: r3987
original commit: d91e2b45022c0c043578a5f08b152825db417c07
2006-08-08 20:32:58 +00:00
