Thu, 23 May 2019 00:58:11 +0100 updated pdf-document
Christian Urban <urbanc@in.tum.de> [Thu, 23 May 2019 00:58:11 +0100] rev 577
updated pdf-document
Thu, 23 May 2019 00:56:39 +0100 small typo
Christian Urban <urbanc@in.tum.de> [Thu, 23 May 2019 00:56:39 +0100] rev 576
small typo
Wed, 22 May 2019 13:24:30 +0200 fixing some Line references
Norbert Schirmer <norbert.schirmer@web.de> [Wed, 22 May 2019 13:24:30 +0200] rev 575
fixing some Line references
Wed, 22 May 2019 12:38:51 +0200 polish document
Norbert Schirmer <norbert.schirmer@web.de> [Wed, 22 May 2019 12:38:51 +0200] rev 574
polish document
(0) -300 -100 -30 -10 -4 tip