I am using a TDSet with Proof and I want to be able to specify the machine on which the given file is local, so that Proof will try to run it on that system. None of the syntax in the examples in the TDSet class documentation seems to be correct for local file systems (ie., not on the web and served by an Apache server, as in those examples).
What is the correct syntax to specify the machine on which the file resides?
Thanks,
Alex