Fix pp-logic.
Update revision log and add serialization support docs.
Fix history and regenerate docs.
Enable divide_qr for mixed arguments.