prodevdat

prodev.dat, <filename>

specifies the registry file for a pro/develop application. after you set this option, it takes effect when you restart pro/engineer.

you can specify a file with a different name by adding an entry to the configuration file as follows:

prodevdat filename