enrich intro even more
authorMart Lubbers <mart@martlubbers.net>
Wed, 12 Jul 2017 18:24:34 +0000 (20:24 +0200)
committerMart Lubbers <mart@martlubbers.net>
Wed, 12 Jul 2017 18:24:34 +0000 (20:24 +0200)
commitcde787301da5c4441615534df29823c7b9fc1f00
treeb253119a6be95300bbfef18c2f038444932e8195
parent3d85f5180f26af9f4a2e4488868767746ae7a749
enrich intro even more
intro.intro.tex
intro.related.tex
todo.txt [deleted file]