Distributed, Collaborative, Versioned Editing of Active Documents in MathHub.info

Summary
Distributed, Collaborative, Versioned Editing of Active Documents in MathHub.info