A question for Nick Gevers, or others with access: Do you think Wolfe would accept a list of Short Sun questions, similar to the previous one submitted by an intrepid member of this list (I'm sorry, I've forgotten...was it mantis?).
Kieran C.
Exported from an unofficial mirror of a public mailing list. Copyright in each message remains with the person who wrote it. Email addresses are obscured as `user at host`, the form the original archive published. This file was rebuilt from parsed fields rather than retained headers, so it is faithful in content but not byte-exact.