[saxon] Execution time in result document


Thread view