| 2009-11-11 | Cezary Kaliszyk | Removed 'Toplevel.program' for polyml 5.3 | file | diff | annotate |
| 2009-11-05 | Christian Urban | removed typing information from get_fun in quotient_def; *potentially* dangerous | file | diff | annotate |
| 2009-11-05 | Cezary Kaliszyk | Infrastructure for polymorphic types | file | diff | annotate |
| 2009-11-04 | Cezary Kaliszyk | Two new tests for get_fun. Second one fails. | file | diff | annotate |
| 2009-11-02 | Christian Urban | fixed the problem with types in map | file | diff | annotate |
| 2009-10-28 | Christian Urban | ported all constant definitions to new scheme | file | diff | annotate |