Checks availability of a PRTools datafile (PRTools5 version!)
Checks the availability of the PRDATAFILES directory, downloads the Contents file and m-files if necessary and adds it to the search path. Lists Contents file.
Replace PRDATAFILES m-files by its most recent version.
Download and save all data related to the m-files (very time consuming!)
Checks the availability of the particular datafile DFILE. DFILE should be the name of the m-file. If it does not exist in the 'prdatafiles' directory an attempt is made to download it from the PRTools web site.
This command should be used inside a PRDATAFILES m-file. It checks the availability of the particular datafile directory DFILEDIR and downloads it if needed. SIZE is the size of the datafile in Mbyte, just used to inform the user. In URL the web location may be supplied. Default is http://prtools.org/prdatafiles/DFILEDIR.zip
All downloading is done interactively and should be approved by the user.