That sounds OK, except there shouldn't be quotes in there:
Sure, I've committed the change now, please test.
Hendrik
___
ProofGeneral-devel mailing list
ProofGeneral-devel@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
- 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,