| Mon, 23 Feb 2009 21:34:14 +0100 | haftmann | repaired order of variable node allocation | file | diff | annotate |
| Mon, 23 Feb 2009 08:19:25 +0100 | haftmann | use canonical subalgebra projection | file | diff | annotate |
| Sun, 22 Feb 2009 18:02:21 +0100 | haftmann | clarified status of variables in evaluation terms; tuned header | file | diff | annotate |
| Sun, 22 Feb 2009 17:32:55 +0100 | haftmann | more liberality needed | file | diff | annotate |
| Sun, 22 Feb 2009 16:48:11 +0100 | haftmann | simplified evaluation | file | diff | annotate |
| Sun, 22 Feb 2009 10:22:30 +0100 | haftmann | first attempt to solve evaluation bootstrap problem | file | diff | annotate |
| Fri, 20 Feb 2009 21:29:24 +0100 | haftmann | also consider superclasses properly | file | diff | annotate |