home *** CD-ROM | disk | FTP | other *** search
-
- procedure copy_file(source,dest: anystring);
- (* copy a file from one place to another *)
-
- procedure move_file(source,dest: anystring);
- (* move a file from one place to another; quickly rename if
- possible, otherwise copy and delete. touches file to make
- file-date = date moved or copied *)
-