NXP processor manuals and datasheets are on NXP's website. Just google for "13xx User Manual". Here's a link to 13xx series user manual[1]
(I've just finished a year working on an embedded project using NXP 13xx series processors, and NXP's documentation is top notch.)
I guess they could have waited until they had more to publish it, but I found it interesting regardless