[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Other menu



cc: BUG-LISPM at MIT-MC, CPR at MIT-AI

I think it should be flushed in principle, but there are some useful things
like "Reset", that don't really want to go in the main menu.  I'll leave
it up to you.