lib/Tools/expandshort
1997-04-22 wenzelm 1997-04-22 removed -norc;
1997-02-06 wenzelm 1997-02-06 improved usage msg;
1997-01-23 wenzelm 1997-01-23 tuned;
1997-01-23 wenzelm 1997-01-23 expand shorthand goal commands;