| Wed, 27 Jan 2010 08:41:42 +0100 | Christian Urban | use of equiv_relation_chk in quotient_term | file | diff | annotate |
| Thu, 14 Jan 2010 23:51:17 +0100 | Christian Urban | trivial | file | diff | annotate |
| Thu, 14 Jan 2010 15:25:24 +0100 | Cezary Kaliszyk | Simplified matches_typ. | file | diff | annotate |
| Thu, 14 Jan 2010 10:51:03 +0100 | Cezary Kaliszyk | produce defs with lthy, like prs and ids | file | diff | annotate |
| Thu, 14 Jan 2010 10:06:29 +0100 | Cezary Kaliszyk | Finished organising an efficient datastructure for qconst_info. | file | diff | annotate |
| Thu, 14 Jan 2010 08:02:20 +0100 | Cezary Kaliszyk | Undid changes from symtab to termtab, since we need to lookup specialized types. | file | diff | annotate |
| Wed, 13 Jan 2010 16:39:20 +0100 | Christian Urban | one more item in the list of Markus | file | diff | annotate |
| Wed, 13 Jan 2010 15:17:36 +0100 | Cezary Kaliszyk | Stored Termtab for constant information. | file | diff | annotate |