The documents "QP Programmer's Manual" and "QP-nano Programmer's Manual" have been restored online, so that the links to these documents in the existing QDKs are not broken. However, these Manuals pertain to QP v3.x and will *not* be upgraded for QP v4. The upcoming book (PSiCC2, see http://www.quantum-leaps.com/psicc2/) explains QP v4 in far greater detail than the Manuals. The book also describes all relevant concepts.
I strongly recommend using QP v4 for evaluation of the framework as well as any new designs. The new Application Note AN-DPP describes the Dining Philosophers Problem (DPP) application and its implementation with QP v4. The Application Note is available at http://www.quantum-leaps.com/doc/AN_DPP.pdf.