This is the master page for information on HCoop's distributed system configuration tool.

1. Contents

• DomTool/SslProcedures: How to set up the various certificates used by the domtool clients and server

2. Old pages

• DomainTool describes the previous version of domtool.

• DomtoolTwo is the preview added by AdamChlipala before we began migrating to our new servers.