Searched defs:proof_root (Results 1 – 1 of 1) sorted by relevance
109 def get_proof_dirs(proof_root, proof_list): argument158 def add_proof_jobs(proof_directory, proof_root): argument257 def configure_proof_dirs(proof_dirs, proof_root, counter): argument
