> - lists of the form ('rec "dir" "path") for -R dir -as path, > - lists of the form ('nonrec "dir" "path") for -I dir -as path,
That sounds OK, except there shouldn't be quotes in there: - lists of the form (rec "dir" "path") for -R dir -as path, - lists of the form (nonrec "dir" "path") for -I dir -as path, Stefan _______________________________________________ ProofGeneral-devel mailing list ProofGeneral-devel@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel