| Mon, 05 Sep 2011 14:15:32 +0000 | urbanc | polished SUBSEQ | file | diff | annotate |
| Mon, 05 Sep 2011 13:44:01 +0000 | urbanc | slight polishing to SUBSEQ | file | diff | annotate |
| Mon, 05 Sep 2011 13:43:12 +0000 | urbanc | slight polishing to SUBSEQ | file | diff | annotate |
| Mon, 05 Sep 2011 12:07:16 +0000 | urbanc | added section about SUBSEQ and SUPSEQ | file | diff | annotate |
| Fri, 26 Aug 2011 17:23:46 +0000 | urbanc | added a few points | file | diff | annotate |
| Thu, 25 Aug 2011 19:33:41 +0000 | urbanc | a few bits on the journal paper | file | diff | annotate |
| Mon, 22 Aug 2011 12:49:27 +0000 | urbanc | changes according to afp-submission | file | diff | annotate |