Sun, 10 Feb 2013 20:56:08 +0000 | Christian Urban |
fixed compilation of paper and typo | file | diff | annotate |
Sun, 03 Feb 2013 13:31:14 +0000 | Christian Urban |
made uncomputable compatible with abacus | file | diff | annotate |
Wed, 23 Jan 2013 08:01:35 +0100 | Christian Urban |
small updates | file | diff | annotate |