| Tue, 27 Oct 2009 11:27:53 +0100 | Christian Urban | made quotients compatiple with Nominal; updated keyword file | file | diff | annotate |
| Mon, 26 Oct 2009 02:06:01 +0100 | Christian Urban | updated with quotient_def | file | diff | annotate |
| Sun, 25 Oct 2009 01:31:04 +0200 | Christian Urban | added "print_quotients" command to th ekeyword file | file | diff | annotate |