Non-documentation of options(<list>) (PR#7079) M Martin Maechler Tue, Jul 13, 2004 2:43 AM This is now fixed in R-patched (and R-devel). Martin