| Tue, 12 Jul 2011 22:20:53 +0200 | Discussion draft. | file | diff | annotate |
| Mon, 11 Jul 2011 03:04:11 +0200 | Progressed in on-the-fly methods. | file | diff | annotate |
| Sat, 09 Jul 2011 03:48:35 +0200 | Program automata construction. | file | diff | annotate |
| Thu, 23 Jun 2011 01:22:53 +0200 | Dont remember. | file | diff | annotate |
| Sat, 28 May 2011 18:31:12 +0200 | Not much. | file | diff | annotate |
| Fri, 27 May 2011 22:52:44 +0200 | Added comments file. | file | diff | annotate |