chiark / gitweb /
~ian / topbloke.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 098d1cf) | patch
new THEORY, proved
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 22 Feb 2012 10:47:45 +0000 (10:47 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 22 Feb 2012 10:47:45 +0000 (10:47 +0000)
commit3737625f8517dbb585defcc887b9db86e2e17228
tree95eb21ef3f0b121f05d400d0e97a1c83fe4ab170tree | snapshot
parent098d1cf209a61beea78d08d84eb50509b132dd6dcommit | diff
new THEORY, proved
THEORY diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.