Jiri Cincura wrote:

>
> does (old classic) gdef stands for any abbreviation? Something like Groton
> Definition or ...
>

gdef was one of the "dressed for success" names. The original
name was "dudley", which comes from DDL. Gdef is the generic
g - sometimes Groton, sometimes Galaxy - "def"inition tool.


Cheers,


Ann