hol.ml | 10 9 + 1 - 0 !
1 file changed, 9 insertions(+), 1 deletion(-)

 configure default hol light source directory

holtest | 8 4 + 4 - 0 !
1 file changed, 4 insertions(+), 4 deletions(-)

 don't build the proof-recording version as part of the test suite

holtest_parallel | 2 2 + 0 - 0 !
1 file changed, 2 insertions(+)

 cd for holtest_parallel because it works only in that directory

pa_j_4.xx_7.xx.ml | 17 11 + 6 - 0 !
1 file changed, 11 insertions(+), 6 deletions(-)

 fix compilation with camlp5 7.11