More advise from Gwern
authorJoachim Breitner <mail@joachim-breitner.de>
Wed, 17 Sep 2014 10:31:16 +0000 (10:31 +0000)
committerJoachim Breitner <mail@joachim-breitner.de>
Wed, 17 Sep 2014 10:31:16 +0000 (10:31 +0000)
commit967c2d74161b946a9615d6f9634805dc3e1578fa
tree80cbf76f89d669f8ca31c7ae78b9de15ea85619b
parent1203c3ee9f24306e449c6c1673e369974f97f424
More advise from Gwern
doc/arbtt.xml