| Thu, 15 Jun 2017 11:11:36 +0200 | nipkow | tuned | file | diff | annotate |
| Wed, 14 Jun 2017 19:39:12 +0200 | nipkow | simplified delete/proof | file | diff | annotate |
| Sat, 28 Jan 2017 15:12:19 +0100 | nipkow | split balance into two, clearer etc | file | diff | annotate |