Your search +path:proof +path:. +path:set_pre_apply_hook did not match any files.
Suggestions:

Completed in 39 milliseconds