How to install propdev

"How to install propdev" is not written yet.