RPPM Files

rppm.par
Parameters not set on the command line will be taken from this file.
star.hh
File containing on-line help information
PPM
File containing binary-format PPM Catalog ordered by star ID number
PPMra
File containing binary-format PPM Catalog ordered by right ascension