FYI,
the option 'help.ports' is not document under help("options"). Should
it? It is documented under help("startDynamicHelp", package="tools").This is for for R v2.13.0dev and Rv2.12.0. /Henrik ______________________________________________ R-devel@r-project.org mailing list https://stat.ethz.ch/mailman/listinfo/r-devel
