Merge branch '14-html' into 15-extra-news
Merge branch '14-pqR-logo' into 15-extra-news
Merge branch '03-ISNAN' into 15-extra-news
Merge branch '14-misc-cleanup' into 15-extra-news
make R_NaN_cast_to_int be int rather than double
Merge branch '03-ISNAN' into 15-extra-news
Merge branch '03-ISNAN' into 17
NEWS on ISNAN improvement, change release data to 2013-11-25
Merge branch '15-extra-news' into 17