| Thu, 29 Jun 2017 17:57:41 +0100 | Christian Urban | updated | file | diff | annotate |
| Tue, 27 Jun 2017 13:15:55 +0100 | Christian Urban | polished | file | diff | annotate |
| Sat, 25 Feb 2017 21:16:46 +0000 | Christian Urban | updated | file | diff | annotate |
| Wed, 20 Jul 2016 14:30:07 +0100 | Christian Urban |
added paper about size derivatives | file | diff | annotate |