| Mon, 13 Feb 2006 14:05:43 +0100 | mengj | Fixed a bug of type unification. | file | diff | annotate |
| Sat, 11 Feb 2006 14:23:35 +0100 | mengj | Added another filter strategy. | file | diff | annotate |
| Fri, 27 Jan 2006 05:34:20 +0100 | mengj | Relevance filtering. Has replaced the previous version. | file | diff | annotate |