The user function $options



The complete code of the no longer documented function $options is still
present in the file option.lisp. The functionality has never been
extended. One point is, that there is a lot of stuff in the property
lists related to this function.

Perhaps we should cut out $options completely.

Dieter Kaiser