Searched refs:PROOFS (Results 1 – 2 of 2) sorted by relevance
57 cd $(PROOFS)/../patches && ./patch.py60 cd $(PROOFS)/../patches && ./unpatch.py171 cd $(PROOFS)/../patches && ./unpatch.py172 cd $(PROOFS) && ./make-remove-makefiles.py
61 PROOFS = [ variable197 proofs = (PROOFS or
