7 Commits

Author	SHA1	Message	Date
Ryan Culpepper	e36f77a748	Macro stepper: fixed quasisyntax pretty-print bug ... svn: r6010	2007-04-21 17:23:38 +00:00
Ryan Culpepper	80af3f491c	Macro stepper: abbreviate quote etc when appropriate ... svn: r5929	2007-04-13 16:54:59 +00:00
Ryan Culpepper	ca3c367aab	Macro stepper: ... fixed bugs re: internal define-syntax de-unitized hiding again, disabled extra navigation for now fixed bug in letrec-syntaxes w/o var bindings fixed bugs in block splicing distinguished booleans and keywords in syntax browser svn: r5578	2007-02-09 08:27:02 +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	8e9d6e6d07	Fixed hiding + renaming ... Changed colors Made bound-id=? default svn: r4367	2006-09-18 16:21:16 +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