Nicolas, thanks.  i take it this is a change from (recent?) past
behavior?  it was kind of nice the old way, but i suspect i'll get used
to the new way (no names, just noweb-ref) fairly soon.  cheers, Greg

Reply via email to