# HG changeset patch
# User blanchet
# Date 1378991693 -7200
# Node ID fc5167ee9111b92329eb122272ce5afbc97739f7
# Parent  9d8764624487d83cd2397182d35d449d8cf4647c
unset some spurious executable flags

diff -r 9d8764624487 -r fc5167ee9111 src/HOL/Tools/Sledgehammer/MaSh/src/fullNaiveBayes.py
diff -r 9d8764624487 -r fc5167ee9111 src/HOL/Tools/Sledgehammer/MaSh/src/parameters.py
diff -r 9d8764624487 -r fc5167ee9111 src/HOL/Tools/Sledgehammer/MaSh/src/spawnDaemon.py