| Tue, 12 Dec 2006 20:49:29 +0100 | wenzelm | abbrev: tuned signature; | changeset | files |
| Tue, 12 Dec 2006 20:49:28 +0100 | wenzelm | tuned expand_term; | changeset | files |
| Tue, 12 Dec 2006 20:49:27 +0100 | wenzelm | classified show/thus as prf_asm_goal, which is usually hilited in PG; | changeset | files |