Up to date information about installation, handling and bugs of the prototype Principia Mathematica II can be found at the web site: http://qedeq.org/prototype.html.