search

jrh13 / hol-light

The HOL Light theorem prover
Other
435 stars 79 forks source link

clear executable bits on non-executable files #37

Closed hendriktews closed 7 years ago