| 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 |
| Tue, 12 Dec 2006 20:49:26 +0100 | wenzelm | tuned expand_binds; | changeset | files |