Searched defs:proof_timeout_label_unit (Results 1 - 1 of 1) sorted by relevance
| /ontohub/app/helpers/ | ||
| H A D | proofs_helper.rb | 33 unit = proof_timeout_label_unit(seconds) 39 def proof_timeout_label_unit(seconds) method in class:ProofsHelper |
Completed in 176 milliseconds