![]() 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 |
||
---|---|---|
.. | ||
controller.ss | ||
embed.ss | ||
frame.ss | ||
hrule-snip.ss | ||
interfaces.ss | ||
keymap.ss | ||
partition.ss | ||
prefs.ss | ||
pretty-helper.ss | ||
pretty-printer.ss | ||
properties.ss | ||
syntax-snip.ss | ||
util.ss | ||
widget.ss |