| Fri, 13 Mar 2009 16:57:16 +0100 | Christian Urban | updated to new read_specification | file | diff | annotate |
| Wed, 11 Mar 2009 01:43:28 +0000 | Christian Urban | partially adapted to new antiquotation infrastructure | file | diff | annotate |
| Tue, 10 Mar 2009 13:20:46 +0000 | Christian Urban | more work on simple_inductive | file | diff | annotate |
| Sun, 08 Mar 2009 20:53:00 +0000 | Christian Urban | removed rep_ss, and used dest_ss instead; some very slight changes to simple_inductive | file | diff | annotate |
| Wed, 04 Mar 2009 14:26:21 +0000 | Christian Urban | updated to chages in binding module | file | diff | annotate |
| Sun, 22 Feb 2009 03:44:03 +0000 | Christian Urban | started a section about simprocs | file | diff | annotate |
| Wed, 18 Feb 2009 17:17:37 +0000 | Christian Urban | added to the first-steps section | file | diff | annotate |
| Mon, 16 Feb 2009 17:17:24 +0000 | Christian Urban | polishing | file | diff | annotate |