| 2010-01-14 | Cezary Kaliszyk | Simplified matches_typ. | file | diff | annotate |
| 2010-01-14 | Cezary Kaliszyk | produce defs with lthy, like prs and ids | file | diff | annotate |
| 2010-01-14 | Cezary Kaliszyk | Finished organising an efficient datastructure for qconst_info. | file | diff | annotate |
| 2010-01-14 | Cezary Kaliszyk | Undid changes from symtab to termtab, since we need to lookup specialized types. | file | diff | annotate |
| 2010-01-13 | Christian Urban | one more item in the list of Markus | file | diff | annotate |
| 2010-01-13 | Cezary Kaliszyk | Stored Termtab for constant information. | file | diff | annotate |