| Sun, 30 Sep 2018 12:02:04 +0100 | Christian Urban | updated | file | diff | annotate |
| Wed, 15 Aug 2018 13:48:57 +0100 | Christian Urban | added proof for bitcoded algorithm | file | diff | annotate |
| Tue, 15 May 2018 10:24:25 +0100 | Christian Urban | updated | file | diff | annotate |