Checks availability of a PRTOOLS dataset (PRTools5 version!)
Checks the availability of the PRDATASETS directory, downloads the Contents file and m-files if necessary and adds it to the search path. Lists Contents file.
Download and save all data related to the m-files.
Checks the availability of the particular dataset DSET. DSET should be the name of the m-file. If it does not exist in the 'prdatasets' directory an attempt is made to download it from the PRTools web site.
This command should be used inside a PRDATASETS m-file. It checks the availability of the particular dataset file and downloads it if needed. SIZE is the size of the dataset in Mbyte, just used to inform the user. In URL the web location may be supplied. Default is http://prtools.org/prdatasets/DSET.mat Downloading is done interactively and should be approved by the user.