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