![]() 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 |
||
---|---|---|
.. | ||
browse-deriv.ss | ||
cursor.ss | ||
gui.ss | ||
hiding-panel.ss | ||
icon-small.png | ||
info.ss | ||
interfaces.ss | ||
prefs.ss | ||
show-deriv.ss | ||
util.ss | ||
view.ss | ||
warning.ss |