Tue, 15 Mar 2011 11:04:53 +0000 | urbanc | corrected small typo | file | diff | annotate |
Sat, 05 Mar 2011 11:06:39 +0000 | urbanc | formalisation of first direction is now only 780 loc | file | diff | annotate |
Sat, 26 Feb 2011 15:44:38 +0000 | urbanc | changed one occurence of tagging function into tagging relation | file | diff | annotate |
Tue, 22 Feb 2011 12:43:05 +0000 | urbanc | three typos | file | diff | annotate |
Mon, 21 Feb 2011 03:35:39 +0000 | urbanc | one further polishing | file | diff | annotate |
Mon, 21 Feb 2011 03:33:27 +0000 | urbanc | final final polishing | file | diff | annotate |