Sebastian Pop wrote on 11/15/06 16:26: > Just a suggestion: why not "imp" as a short name for "gimple"? > "imp" is also the beginning of "imperative", it is shorter and simpler. > Ouch! Sorry, not my cup of tea :)