Automated Code Analysis

checkbashisms analysis of hol88_2.02.19940316-13.dsc

possible bashism in ./Library/word/help/thms/create-doc-files2 line 15 (let ...):
let create_doc_files thy =
possible bashism in ./Library/word/help/thms/create-doc-files2 line 16 (let ...):
  let create_doc_file (thname,th) =
possible bashism in ./Library/word/help/thms/create-doc-files2 line 26 (let ...):
  let ok = (new_theory \`dummy$$\`; new_parent \`$1\`; true) ? false in
possible bashism in ./Manual/Reference/bin/create-doc-files2 line 16 (let ...):
let create_doc_files thy =
possible bashism in ./Manual/Reference/bin/create-doc-files2 line 17 (let ...):
  let create_doc_file (thname,th) =
possible bashism in ./Manual/Reference/bin/create-doc-files2 line 27 (let ...):
  let ok = (new_theory \`dummy$$\`; new_parent \`$1\`; true) ? false in
possible bashism in ./help/THEOREMS/axioms/create-axiom-doc line 14 (let ...):
let create_doc_files thy =
possible bashism in ./help/THEOREMS/axioms/create-axiom-doc line 15 (let ...):
  let create_doc_file (thname,th) =
possible bashism in ./help/THEOREMS/axioms/create-axiom-doc line 23 (let ...):
  let ok = (new_theory \`dummy$$\`; new_parent \`$1\`; true) ? false in

---