make dist
Add missing "platform" package to the distribution as well. Reported by Pietro Cerutti.
merge-mark
A better technique for [list {*}blah]. Remove the INST_LIST_EXPANDED opcode (and the complex machinery associated with it) as as it is no longer needed.
merge trunk
merge-mark
A better technique for [list {*}blah]. Remove the INST_LIST_EXPANDED opcode (and the complex machinery associated with it) as as it is no longer needed.
merge-mark
Removing a few changes that were not actually needed, and correcting comments.
Trunk merged.  Conflicts resolved.  New functionality not yet enabled.