Re: suggestions/question
J. Dashiell (dashiell@nadc.nadc.navy.mil)
Thu, 20 Jun 1996 15:04:11 -0400
Those numbers almost certainly would have worked for rule names
if you had zero filled them.
like, 1 would have had to be written 001 if a maximum
of 999 rules would be used etc. 010 would be written if it
were rule 10.
jude <dashiell@nadc.nadc.navy.mil>