Copy-Editing of Gwern’s contribution
authorJoachim Breitner <mail@joachim-breitner.de>
Wed, 17 Sep 2014 10:14:42 +0000 (10:14 +0000)
committerJoachim Breitner <mail@joachim-breitner.de>
Wed, 17 Sep 2014 10:14:42 +0000 (10:14 +0000)
commit87a4d99d824d168f91a354256f02f361361131c8
tree56c20dd265deeb92ef277a9f091a4652b0c4e015
parent556b0b36ad7964a78270c44e73be0f363c999264
Copy-Editing of Gwern’s contribution
doc/arbtt.xml