Thu, 08 Oct 2015 10:13:24 +0200 Alpar Juttner Merge #600
Wed, 07 Oct 2015 18:49:46 +0200 Alpar Juttner Merge #597
Sun, 24 May 2015 17:30:50 +0200 Peter Kovacs Minor fixes in bibtex entry + unify formatting (#597)
Sun, 24 May 2015 17:29:26 +0200 Peter Kovacs Minor doc fixes (#597)