This is a diff between 1.2 and 1.3 revisions:

12a12
< * The file formats and file name extensions of the files to be loaded must be among the following, which the <code>[[http://docs.openlinksw.com/virtuoso/fn_rdf_loader_run.html][rdf_loader_run()]]</code> function understands. Any of these may be compressed with gzip (i.e., with the additional <code>.gz</code> file name extension) to save space; in such case, they will be automatically expanded by the bulk loader.
11d12
> * The file formats and file name extensions of the files to be loaded must be among the following, which the <code>[[http://docs.openlinksw.com/virtuoso/fn_rdf_loader_run.html][rdf_loader_run()]]</code> function understands. Any of these may be compressed in gzip (i.e., with the additional <code>.gz</code> file name extension), bz2 or xz compression formats to save space; in such case, they will be automatically expanded by the bulk loader.