These 1 commits are when the Protocol Buffers files have changed:
Initial public release of specpaxos
The documentation is generated from this commit.