?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 6d7374e) | patch
Set author in root.tex
commit7693d4120ac76418664dcaf2321531d39d28c088
authorTim Makarios <tjm1983@gmail.com>
Fri, 5 Dec 2014 00:55:28 +0000 (5 13:55 +1300)
committerTim Makarios <tjm1983@gmail.com>
Fri, 5 Dec 2014 00:55:28 +0000 (5 13:55 +1300)
treecc71476786a591964031965d9e9229cd5e310fedtree | snapshot (tar.gz zip)
parent6d7374e80d0cfc7934b63a19578b2fd33fa9f7a0commit | diff
Set author in root.tex
document/root.tex diff | blob | blame | history
This is intended to be a computer-verifiable (but somewhat human-readable) collection of proofs that RTTP has certain properties.