update pres
authorMart Lubbers <mart@martlubbers.net>
Sat, 8 Jul 2017 18:55:06 +0000 (20:55 +0200)
committerMart Lubbers <mart@martlubbers.net>
Sat, 8 Jul 2017 18:55:06 +0000 (20:55 +0200)
commite4070f8e22cea2ddf430743b0b29fc57fba5d865
tree2b063c9c45897a20c85b2aee73380480ab6e1c6c
parent0ea729c9667ddd36e834d1056750c467c88df79c
update pres
pres.intro.tex
pres.mtask.tex
pres.system.tex