| Sat, 16 Apr 2005 18:58:55 +0200 | wenzelm | expect translations functions to be stamped already; | changeset | files |
| Sat, 16 Apr 2005 18:58:30 +0200 | wenzelm | added stamp_trfun, mk_trfun, eq_trfun; | changeset | files |
| Sat, 16 Apr 2005 18:58:18 +0200 | wenzelm | tuned extend_prtabs; | changeset | files |