small update
authorMart Lubbers <mart@martlubbers.net>
Fri, 5 May 2017 13:53:11 +0000 (15:53 +0200)
committerMart Lubbers <mart@martlubbers.net>
Fri, 5 May 2017 13:53:11 +0000 (15:53 +0200)
commit155a47d2207a962d1ba04f89aa729c8a06579a1b
tree645f46b46334b4e26dc99d52b5bbb1ed063b0d22
parentffa8517ae9d919b4da3ebeace34bc7897b56142b
small update
asr.pre
asr.tex