chiark / gitweb /
doc/tripe-protocol.tex: Start on a new protocol specification.