| 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 |