From b9ce0051b9e753cc4bbbfc84897459f6a9f9008f Mon Sep 17 00:00:00 2001 From: Karl Crary Date: Thu, 30 May 2013 11:59:20 -0400 Subject: [PATCH] changed all permissions to 755 (sorry!) --- AUTHORS | 0 LICENSE | 0 aes.sml | 0 arith.sig | 0 arith.sml | 0 asn1.sig | 0 basis.cm | 0 bytestring.sig | 0 bytestring.sml | 0 bytesubstring.sig | 0 bytesubstring.sml | 0 cipher.sig | 0 cmlib-mlton.mlb | 0 cmlib.mlb | 0 cmlib.smackspec | 0 cont-mlton.sml | 0 cont-nj.sml | 0 cont.sig | 0 cont.sml | 0 convert-intinf.sig | 0 convert-intinf.sml | 0 convert-word-mlton.sml | 0 convert-word-nj.sml | 0 convert-word.sig | 0 coord-stream.sig | 0 coord-stream.sml | 0 coord.sig | 0 coord.sml | 0 coroutine.sig | 0 coroutine.sml | 0 cryptohash.sig | 0 defaults.sml | 0 der.sml | 0 dict-list.sml | 0 dict-red-black.sml | 0 dict-splay.sml | 0 dict.sig | 0 dict.sml | 0 digital-signature.sig | 0 ec-coding.sig | 0 ec-crypto.sig | 0 ec-crypto.sml | 0 ec-der.sml | 0 ec-f2m.sml | 0 ec-field.sig | 0 ec-fp.sml | 0 ec-params.sig | 0 ec-params.sml | 0 ec.sig | 0 ecdh.sig | 0 ecdh.sml | 0 ecdsa.sig | 0 ecdsa.sml | 0 fortuna.sig | 0 fortuna.sml | 0 from-string.sig | 0 from-string.sml | 0 hash-inc.sig | 0 hash-inc.sml | 0 hash-table.sig | 0 hash-table.sml | 0 hashable.sig | 0 hashable.sml | 0 ideque.sig | 0 ideque.sml | 0 iqueue.sig | 0 iqueue.sml | 0 lex-engine.sig | 0 lex-engine.sml | 0 mergesort.sml | 0 mini-io.sig | 0 multi-file-io.sig | 0 multi-file-io.sml | 0 multi-table-dict.sml | 0 multi-table.sig | 0 ordered.sig | 0 ordered.sml | 0 parse-engine.sig | 0 parse-engine.sml | 0 parsing.sig | 0 parsing.sml | 0 partition.sig | 0 partition.sml | 0 pos.sig | 0 pos.sml | 0 pqueue-imperative-pairing.sml | 0 pqueue-imperative.sig | 0 pqueue-lazy-pairing.sml | 0 pqueue-leftist.sml | 0 pqueue-pairing.sml | 0 pqueue.sig | 0 prettyprint.sig | 0 prettyprint.sml | 0 pstream.sig | 0 pstream.sml | 0 psusp.sig | 0 psusp.sml | 0 queue.sig | 0 queue.sml | 0 random-aes.sml | 0 random-rehash.sml | 0 random.sig | 0 rdict.sig | 0 red-black-tree.sml | 0 ripemd160.sml | 0 rules.txt | 0 seek-io.sig | 0 seek-io.sml | 0 sequence-array.sml | 0 sequence-list.sml | 0 sequence-tree.sml | 0 sequence.sig | 0 set-list.sml | 0 set-red-black.sml | 0 set-splay.sml | 0 set.sig | 0 sha256.sml | 0 shared-secret.sig | 0 sort.sig | 0 splay-tree.sml | 0 stream-cipher-fun.sml | 0 stream.sig | 0 stream.sml | 0 streamable-mono.sig | 0 streamable-mono.sml | 0 streamable.sig | 0 streamable.sml | 0 sum.sig | 0 sum.sml | 0 susp-nj.sml | 0 susp.sig | 0 susp.sml | 0 symbol.sig | 0 symbol.sml | 0 table-dict.sml | 0 table-hash.sml | 0 table.sig | 0 tests/mergesort-qcheck.sml | 0 tests/mergesort-test.sml | 0 tests/qchecktest.cm | 0 tests/sets-dicts-test.sml | 0 tests/test.mlb | 0 tests/test.sig | 0 tests/testing-mlton.mlb | 0 tests/testing.cm | 0 tests/testing.mlb | 0 tests/testing.sig | 0 tests/testing.sml | 0 union-find-imperative.sig | 0 union-find-imperative.sml | 0 weak-mlton.sml | 0 weak-nj.sml | 0 weak.sig | 0 weak.sml | 0 154 files changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 AUTHORS mode change 100644 => 100755 LICENSE mode change 100644 => 100755 aes.sml mode change 100644 => 100755 arith.sig mode change 100644 => 100755 arith.sml mode change 100644 => 100755 asn1.sig mode change 100644 => 100755 basis.cm mode change 100644 => 100755 bytestring.sig mode change 100644 => 100755 bytestring.sml mode change 100644 => 100755 bytesubstring.sig mode change 100644 => 100755 bytesubstring.sml mode change 100644 => 100755 cipher.sig mode change 100644 => 100755 cmlib-mlton.mlb mode change 100644 => 100755 cmlib.mlb mode change 100644 => 100755 cmlib.smackspec mode change 100644 => 100755 cont-mlton.sml mode change 100644 => 100755 cont-nj.sml mode change 100644 => 100755 cont.sig mode change 100644 => 100755 cont.sml mode change 100644 => 100755 convert-intinf.sig mode change 100644 => 100755 convert-intinf.sml mode change 100644 => 100755 convert-word-mlton.sml mode change 100644 => 100755 convert-word-nj.sml mode change 100644 => 100755 convert-word.sig mode change 100644 => 100755 coord-stream.sig mode change 100644 => 100755 coord-stream.sml mode change 100644 => 100755 coord.sig mode change 100644 => 100755 coord.sml mode change 100644 => 100755 coroutine.sig mode change 100644 => 100755 coroutine.sml mode change 100644 => 100755 cryptohash.sig mode change 100644 => 100755 defaults.sml mode change 100644 => 100755 der.sml mode change 100644 => 100755 dict-list.sml mode change 100644 => 100755 dict-red-black.sml mode change 100644 => 100755 dict-splay.sml mode change 100644 => 100755 dict.sig mode change 100644 => 100755 dict.sml mode change 100644 => 100755 digital-signature.sig mode change 100644 => 100755 ec-coding.sig mode change 100644 => 100755 ec-crypto.sig mode change 100644 => 100755 ec-crypto.sml mode change 100644 => 100755 ec-der.sml mode change 100644 => 100755 ec-f2m.sml mode change 100644 => 100755 ec-field.sig mode change 100644 => 100755 ec-fp.sml mode change 100644 => 100755 ec-params.sig mode change 100644 => 100755 ec-params.sml mode change 100644 => 100755 ec.sig mode change 100644 => 100755 ecdh.sig mode change 100644 => 100755 ecdh.sml mode change 100644 => 100755 ecdsa.sig mode change 100644 => 100755 ecdsa.sml mode change 100644 => 100755 fortuna.sig mode change 100644 => 100755 fortuna.sml mode change 100644 => 100755 from-string.sig mode change 100644 => 100755 from-string.sml mode change 100644 => 100755 hash-inc.sig mode change 100644 => 100755 hash-inc.sml mode change 100644 => 100755 hash-table.sig mode change 100644 => 100755 hash-table.sml mode change 100644 => 100755 hashable.sig mode change 100644 => 100755 hashable.sml mode change 100644 => 100755 ideque.sig mode change 100644 => 100755 ideque.sml mode change 100644 => 100755 iqueue.sig mode change 100644 => 100755 iqueue.sml mode change 100644 => 100755 lex-engine.sig mode change 100644 => 100755 lex-engine.sml mode change 100644 => 100755 mergesort.sml mode change 100644 => 100755 mini-io.sig mode change 100644 => 100755 multi-file-io.sig mode change 100644 => 100755 multi-file-io.sml mode change 100644 => 100755 multi-table-dict.sml mode change 100644 => 100755 multi-table.sig mode change 100644 => 100755 ordered.sig mode change 100644 => 100755 ordered.sml mode change 100644 => 100755 parse-engine.sig mode change 100644 => 100755 parse-engine.sml mode change 100644 => 100755 parsing.sig mode change 100644 => 100755 parsing.sml mode change 100644 => 100755 partition.sig mode change 100644 => 100755 partition.sml mode change 100644 => 100755 pos.sig mode change 100644 => 100755 pos.sml mode change 100644 => 100755 pqueue-imperative-pairing.sml mode change 100644 => 100755 pqueue-imperative.sig mode change 100644 => 100755 pqueue-lazy-pairing.sml mode change 100644 => 100755 pqueue-leftist.sml mode change 100644 => 100755 pqueue-pairing.sml mode change 100644 => 100755 pqueue.sig mode change 100644 => 100755 prettyprint.sig mode change 100644 => 100755 prettyprint.sml mode change 100644 => 100755 pstream.sig mode change 100644 => 100755 pstream.sml mode change 100644 => 100755 psusp.sig mode change 100644 => 100755 psusp.sml mode change 100644 => 100755 queue.sig mode change 100644 => 100755 queue.sml mode change 100644 => 100755 random-aes.sml mode change 100644 => 100755 random-rehash.sml mode change 100644 => 100755 random.sig mode change 100644 => 100755 rdict.sig mode change 100644 => 100755 red-black-tree.sml mode change 100644 => 100755 ripemd160.sml mode change 100644 => 100755 rules.txt mode change 100644 => 100755 seek-io.sig mode change 100644 => 100755 seek-io.sml mode change 100644 => 100755 sequence-array.sml mode change 100644 => 100755 sequence-list.sml mode change 100644 => 100755 sequence-tree.sml mode change 100644 => 100755 sequence.sig mode change 100644 => 100755 set-list.sml mode change 100644 => 100755 set-red-black.sml mode change 100644 => 100755 set-splay.sml mode change 100644 => 100755 set.sig mode change 100644 => 100755 sha256.sml mode change 100644 => 100755 shared-secret.sig mode change 100644 => 100755 sort.sig mode change 100644 => 100755 splay-tree.sml mode change 100644 => 100755 stream-cipher-fun.sml mode change 100644 => 100755 stream.sig mode change 100644 => 100755 stream.sml mode change 100644 => 100755 streamable-mono.sig mode change 100644 => 100755 streamable-mono.sml mode change 100644 => 100755 streamable.sig mode change 100644 => 100755 streamable.sml mode change 100644 => 100755 sum.sig mode change 100644 => 100755 sum.sml mode change 100644 => 100755 susp-nj.sml mode change 100644 => 100755 susp.sig mode change 100644 => 100755 susp.sml mode change 100644 => 100755 symbol.sig mode change 100644 => 100755 symbol.sml mode change 100644 => 100755 table-dict.sml mode change 100644 => 100755 table-hash.sml mode change 100644 => 100755 table.sig mode change 100644 => 100755 tests/mergesort-qcheck.sml mode change 100644 => 100755 tests/mergesort-test.sml mode change 100644 => 100755 tests/qchecktest.cm mode change 100644 => 100755 tests/sets-dicts-test.sml mode change 100644 => 100755 tests/test.mlb mode change 100644 => 100755 tests/test.sig mode change 100644 => 100755 tests/testing-mlton.mlb mode change 100644 => 100755 tests/testing.cm mode change 100644 => 100755 tests/testing.mlb mode change 100644 => 100755 tests/testing.sig mode change 100644 => 100755 tests/testing.sml mode change 100644 => 100755 union-find-imperative.sig mode change 100644 => 100755 union-find-imperative.sml mode change 100644 => 100755 weak-mlton.sml mode change 100644 => 100755 weak-nj.sml mode change 100644 => 100755 weak.sig mode change 100644 => 100755 weak.sml diff --git a/AUTHORS b/AUTHORS old mode 100644 new mode 100755 diff --git a/LICENSE b/LICENSE old mode 100644 new mode 100755 diff --git a/aes.sml b/aes.sml old mode 100644 new mode 100755 diff --git a/arith.sig b/arith.sig old mode 100644 new mode 100755 diff --git a/arith.sml b/arith.sml old mode 100644 new mode 100755 diff --git a/asn1.sig b/asn1.sig old mode 100644 new mode 100755 diff --git a/basis.cm b/basis.cm old mode 100644 new mode 100755 diff --git a/bytestring.sig b/bytestring.sig old mode 100644 new mode 100755 diff --git a/bytestring.sml b/bytestring.sml old mode 100644 new mode 100755 diff --git a/bytesubstring.sig b/bytesubstring.sig old mode 100644 new mode 100755 diff --git a/bytesubstring.sml b/bytesubstring.sml old mode 100644 new mode 100755 diff --git a/cipher.sig b/cipher.sig old mode 100644 new mode 100755 diff --git a/cmlib-mlton.mlb b/cmlib-mlton.mlb old mode 100644 new mode 100755 diff --git a/cmlib.mlb b/cmlib.mlb old mode 100644 new mode 100755 diff --git a/cmlib.smackspec b/cmlib.smackspec old mode 100644 new mode 100755 diff --git a/cont-mlton.sml b/cont-mlton.sml old mode 100644 new mode 100755 diff --git a/cont-nj.sml b/cont-nj.sml old mode 100644 new mode 100755 diff --git a/cont.sig b/cont.sig old mode 100644 new mode 100755 diff --git a/cont.sml b/cont.sml old mode 100644 new mode 100755 diff --git a/convert-intinf.sig b/convert-intinf.sig old mode 100644 new mode 100755 diff --git a/convert-intinf.sml b/convert-intinf.sml old mode 100644 new mode 100755 diff --git a/convert-word-mlton.sml b/convert-word-mlton.sml old mode 100644 new mode 100755 diff --git a/convert-word-nj.sml b/convert-word-nj.sml old mode 100644 new mode 100755 diff --git a/convert-word.sig b/convert-word.sig old mode 100644 new mode 100755 diff --git a/coord-stream.sig b/coord-stream.sig old mode 100644 new mode 100755 diff --git a/coord-stream.sml b/coord-stream.sml old mode 100644 new mode 100755 diff --git a/coord.sig b/coord.sig old mode 100644 new mode 100755 diff --git a/coord.sml b/coord.sml old mode 100644 new mode 100755 diff --git a/coroutine.sig b/coroutine.sig old mode 100644 new mode 100755 diff --git a/coroutine.sml b/coroutine.sml old mode 100644 new mode 100755 diff --git a/cryptohash.sig b/cryptohash.sig old mode 100644 new mode 100755 diff --git a/defaults.sml b/defaults.sml old mode 100644 new mode 100755 diff --git a/der.sml b/der.sml old mode 100644 new mode 100755 diff --git a/dict-list.sml b/dict-list.sml old mode 100644 new mode 100755 diff --git a/dict-red-black.sml b/dict-red-black.sml old mode 100644 new mode 100755 diff --git a/dict-splay.sml b/dict-splay.sml old mode 100644 new mode 100755 diff --git a/dict.sig b/dict.sig old mode 100644 new mode 100755 diff --git a/dict.sml b/dict.sml old mode 100644 new mode 100755 diff --git a/digital-signature.sig b/digital-signature.sig old mode 100644 new mode 100755 diff --git a/ec-coding.sig b/ec-coding.sig old mode 100644 new mode 100755 diff --git a/ec-crypto.sig b/ec-crypto.sig old mode 100644 new mode 100755 diff --git a/ec-crypto.sml b/ec-crypto.sml old mode 100644 new mode 100755 diff --git a/ec-der.sml b/ec-der.sml old mode 100644 new mode 100755 diff --git a/ec-f2m.sml b/ec-f2m.sml old mode 100644 new mode 100755 diff --git a/ec-field.sig b/ec-field.sig old mode 100644 new mode 100755 diff --git a/ec-fp.sml b/ec-fp.sml old mode 100644 new mode 100755 diff --git a/ec-params.sig b/ec-params.sig old mode 100644 new mode 100755 diff --git a/ec-params.sml b/ec-params.sml old mode 100644 new mode 100755 diff --git a/ec.sig b/ec.sig old mode 100644 new mode 100755 diff --git a/ecdh.sig b/ecdh.sig old mode 100644 new mode 100755 diff --git a/ecdh.sml b/ecdh.sml old mode 100644 new mode 100755 diff --git a/ecdsa.sig b/ecdsa.sig old mode 100644 new mode 100755 diff --git a/ecdsa.sml b/ecdsa.sml old mode 100644 new mode 100755 diff --git a/fortuna.sig b/fortuna.sig old mode 100644 new mode 100755 diff --git a/fortuna.sml b/fortuna.sml old mode 100644 new mode 100755 diff --git a/from-string.sig b/from-string.sig old mode 100644 new mode 100755 diff --git a/from-string.sml b/from-string.sml old mode 100644 new mode 100755 diff --git a/hash-inc.sig b/hash-inc.sig old mode 100644 new mode 100755 diff --git a/hash-inc.sml b/hash-inc.sml old mode 100644 new mode 100755 diff --git a/hash-table.sig b/hash-table.sig old mode 100644 new mode 100755 diff --git a/hash-table.sml b/hash-table.sml old mode 100644 new mode 100755 diff --git a/hashable.sig b/hashable.sig old mode 100644 new mode 100755 diff --git a/hashable.sml b/hashable.sml old mode 100644 new mode 100755 diff --git a/ideque.sig b/ideque.sig old mode 100644 new mode 100755 diff --git a/ideque.sml b/ideque.sml old mode 100644 new mode 100755 diff --git a/iqueue.sig b/iqueue.sig old mode 100644 new mode 100755 diff --git a/iqueue.sml b/iqueue.sml old mode 100644 new mode 100755 diff --git a/lex-engine.sig b/lex-engine.sig old mode 100644 new mode 100755 diff --git a/lex-engine.sml b/lex-engine.sml old mode 100644 new mode 100755 diff --git a/mergesort.sml b/mergesort.sml old mode 100644 new mode 100755 diff --git a/mini-io.sig b/mini-io.sig old mode 100644 new mode 100755 diff --git a/multi-file-io.sig b/multi-file-io.sig old mode 100644 new mode 100755 diff --git a/multi-file-io.sml b/multi-file-io.sml old mode 100644 new mode 100755 diff --git a/multi-table-dict.sml b/multi-table-dict.sml old mode 100644 new mode 100755 diff --git a/multi-table.sig b/multi-table.sig old mode 100644 new mode 100755 diff --git a/ordered.sig b/ordered.sig old mode 100644 new mode 100755 diff --git a/ordered.sml b/ordered.sml old mode 100644 new mode 100755 diff --git a/parse-engine.sig b/parse-engine.sig old mode 100644 new mode 100755 diff --git a/parse-engine.sml b/parse-engine.sml old mode 100644 new mode 100755 diff --git a/parsing.sig b/parsing.sig old mode 100644 new mode 100755 diff --git a/parsing.sml b/parsing.sml old mode 100644 new mode 100755 diff --git a/partition.sig b/partition.sig old mode 100644 new mode 100755 diff --git a/partition.sml b/partition.sml old mode 100644 new mode 100755 diff --git a/pos.sig b/pos.sig old mode 100644 new mode 100755 diff --git a/pos.sml b/pos.sml old mode 100644 new mode 100755 diff --git a/pqueue-imperative-pairing.sml b/pqueue-imperative-pairing.sml old mode 100644 new mode 100755 diff --git a/pqueue-imperative.sig b/pqueue-imperative.sig old mode 100644 new mode 100755 diff --git a/pqueue-lazy-pairing.sml b/pqueue-lazy-pairing.sml old mode 100644 new mode 100755 diff --git a/pqueue-leftist.sml b/pqueue-leftist.sml old mode 100644 new mode 100755 diff --git a/pqueue-pairing.sml b/pqueue-pairing.sml old mode 100644 new mode 100755 diff --git a/pqueue.sig b/pqueue.sig old mode 100644 new mode 100755 diff --git a/prettyprint.sig b/prettyprint.sig old mode 100644 new mode 100755 diff --git a/prettyprint.sml b/prettyprint.sml old mode 100644 new mode 100755 diff --git a/pstream.sig b/pstream.sig old mode 100644 new mode 100755 diff --git a/pstream.sml b/pstream.sml old mode 100644 new mode 100755 diff --git a/psusp.sig b/psusp.sig old mode 100644 new mode 100755 diff --git a/psusp.sml b/psusp.sml old mode 100644 new mode 100755 diff --git a/queue.sig b/queue.sig old mode 100644 new mode 100755 diff --git a/queue.sml b/queue.sml old mode 100644 new mode 100755 diff --git a/random-aes.sml b/random-aes.sml old mode 100644 new mode 100755 diff --git a/random-rehash.sml b/random-rehash.sml old mode 100644 new mode 100755 diff --git a/random.sig b/random.sig old mode 100644 new mode 100755 diff --git a/rdict.sig b/rdict.sig old mode 100644 new mode 100755 diff --git a/red-black-tree.sml b/red-black-tree.sml old mode 100644 new mode 100755 diff --git a/ripemd160.sml b/ripemd160.sml old mode 100644 new mode 100755 diff --git a/rules.txt b/rules.txt old mode 100644 new mode 100755 diff --git a/seek-io.sig b/seek-io.sig old mode 100644 new mode 100755 diff --git a/seek-io.sml b/seek-io.sml old mode 100644 new mode 100755 diff --git a/sequence-array.sml b/sequence-array.sml old mode 100644 new mode 100755 diff --git a/sequence-list.sml b/sequence-list.sml old mode 100644 new mode 100755 diff --git a/sequence-tree.sml b/sequence-tree.sml old mode 100644 new mode 100755 diff --git a/sequence.sig b/sequence.sig old mode 100644 new mode 100755 diff --git a/set-list.sml b/set-list.sml old mode 100644 new mode 100755 diff --git a/set-red-black.sml b/set-red-black.sml old mode 100644 new mode 100755 diff --git a/set-splay.sml b/set-splay.sml old mode 100644 new mode 100755 diff --git a/set.sig b/set.sig old mode 100644 new mode 100755 diff --git a/sha256.sml b/sha256.sml old mode 100644 new mode 100755 diff --git a/shared-secret.sig b/shared-secret.sig old mode 100644 new mode 100755 diff --git a/sort.sig b/sort.sig old mode 100644 new mode 100755 diff --git a/splay-tree.sml b/splay-tree.sml old mode 100644 new mode 100755 diff --git a/stream-cipher-fun.sml b/stream-cipher-fun.sml old mode 100644 new mode 100755 diff --git a/stream.sig b/stream.sig old mode 100644 new mode 100755 diff --git a/stream.sml b/stream.sml old mode 100644 new mode 100755 diff --git a/streamable-mono.sig b/streamable-mono.sig old mode 100644 new mode 100755 diff --git a/streamable-mono.sml b/streamable-mono.sml old mode 100644 new mode 100755 diff --git a/streamable.sig b/streamable.sig old mode 100644 new mode 100755 diff --git a/streamable.sml b/streamable.sml old mode 100644 new mode 100755 diff --git a/sum.sig b/sum.sig old mode 100644 new mode 100755 diff --git a/sum.sml b/sum.sml old mode 100644 new mode 100755 diff --git a/susp-nj.sml b/susp-nj.sml old mode 100644 new mode 100755 diff --git a/susp.sig b/susp.sig old mode 100644 new mode 100755 diff --git a/susp.sml b/susp.sml old mode 100644 new mode 100755 diff --git a/symbol.sig b/symbol.sig old mode 100644 new mode 100755 diff --git a/symbol.sml b/symbol.sml old mode 100644 new mode 100755 diff --git a/table-dict.sml b/table-dict.sml old mode 100644 new mode 100755 diff --git a/table-hash.sml b/table-hash.sml old mode 100644 new mode 100755 diff --git a/table.sig b/table.sig old mode 100644 new mode 100755 diff --git a/tests/mergesort-qcheck.sml b/tests/mergesort-qcheck.sml old mode 100644 new mode 100755 diff --git a/tests/mergesort-test.sml b/tests/mergesort-test.sml old mode 100644 new mode 100755 diff --git a/tests/qchecktest.cm b/tests/qchecktest.cm old mode 100644 new mode 100755 diff --git a/tests/sets-dicts-test.sml b/tests/sets-dicts-test.sml old mode 100644 new mode 100755 diff --git a/tests/test.mlb b/tests/test.mlb old mode 100644 new mode 100755 diff --git a/tests/test.sig b/tests/test.sig old mode 100644 new mode 100755 diff --git a/tests/testing-mlton.mlb b/tests/testing-mlton.mlb old mode 100644 new mode 100755 diff --git a/tests/testing.cm b/tests/testing.cm old mode 100644 new mode 100755 diff --git a/tests/testing.mlb b/tests/testing.mlb old mode 100644 new mode 100755 diff --git a/tests/testing.sig b/tests/testing.sig old mode 100644 new mode 100755 diff --git a/tests/testing.sml b/tests/testing.sml old mode 100644 new mode 100755 diff --git a/union-find-imperative.sig b/union-find-imperative.sig old mode 100644 new mode 100755 diff --git a/union-find-imperative.sml b/union-find-imperative.sml old mode 100644 new mode 100755 diff --git a/weak-mlton.sml b/weak-mlton.sml old mode 100644 new mode 100755 diff --git a/weak-nj.sml b/weak-nj.sml old mode 100644 new mode 100755 diff --git a/weak.sig b/weak.sig old mode 100644 new mode 100755 diff --git a/weak.sml b/weak.sml old mode 100644 new mode 100755