Import Gwern’s documentation suggestions
authorJoachim Breitner <mail@joachim-breitner.de>
Wed, 17 Sep 2014 09:48:42 +0000 (09:48 +0000)
committerJoachim Breitner <mail@joachim-breitner.de>
Wed, 17 Sep 2014 09:48:42 +0000 (09:48 +0000)
commit556b0b36ad7964a78270c44e73be0f363c999264
tree146e4d58d16537f743e06f92e1c87f8604064745
parent5e20f589659251e3765084b91f686941385b55f7
Import Gwern’s documentation suggestions
doc/arbtt.xml