Public Git Hosting - rttp-proofs.git/commit

summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 444fc91) | patch

commit	0f3b8c4eb3796d65f32b6e8518c6c54c11e4540d
author	Tim Makarios <tjm1983@gmail.com>
	Tue, 3 Mar 2015 03:43:07 +0000 (3 16:43 +1300)
committer	Tim Makarios <tjm1983@gmail.com>
	Tue, 3 Mar 2015 03:43:07 +0000 (3 16:43 +1300)
tree	c3988597e8e59aa60bfdbee88dbe7f6584d09719	tree \| snapshot (tar.gz zip)
parent	444fc914e18c38b686c86cf74f87a43d79e6ffb8	commit \| diff

Ignore copies autosaved by jEdit

diff | blob | blame | history

This is intended to be a computer-verifiable (but somewhat human-readable) collection of proofs that RTTP has certain properties.