| Thu, 12 Nov 2009 13:56:07 +0100 | Cezary Kaliszyk | merged | file | diff | annotate |
| Thu, 12 Nov 2009 12:15:41 +0100 | Christian Urban | added a FIXME commment | file | diff | annotate |
| Thu, 12 Nov 2009 12:07:33 +0100 | Christian Urban | looking up data in quot_info works now (needs qualified string) | file | diff | annotate |
| Thu, 12 Nov 2009 02:54:40 +0100 | Christian Urban | changed the quotdata to be a symtab table (needs fixing) | file | diff | annotate |
| Fri, 06 Nov 2009 09:48:37 +0100 | Christian Urban | tuned the code in quotient and quotient_def | file | diff | annotate |
| Thu, 05 Nov 2009 13:47:04 +0100 | Christian Urban | removed typing information from get_fun in quotient_def; *potentially* dangerous | file | diff | annotate |
| Mon, 02 Nov 2009 18:26:55 +0100 | Christian Urban | split quotient.ML into two files | file | diff | annotate |