Hi,

I want to know what is the difference between time stamps and date 
stamps. I know date stamps are '.date', '.date0', '.date3', 
'.optdate' and 'trans_opt_date' files associated with the module 
but I do not know what are time stamps.

Targets are 'main-module.depend', 'main-module.ints' and more. I 
want to know what is MAIN_TARGET in respect with other targets. I 
really cannot figure why is it needed?? and also how is it 
used??

Thanks.

Noel
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users@cs.mu.oz.au
administrative address: owner-mercury-users@cs.mu.oz.au
unsubscribe: Address: mercury-users-request@cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request@cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------

