<commit_before>This directory contains a variety of scripts and needs to be cleaned
up.  (This directory is also where executable images currently get
put, but perhaps that should change.)

Naming style:
- underscores preferred to dashes or camel case
- "Specware" preferred over "Specware4"
- Jim suggests the format "command_application_language"

TODO: Consider doing much of this scripting in Emacs.  Would then work
on Windows too.

Here is a start at figuring out the status of each script (I don't
list all the callers of each script, if there is any caller script
that we have to keep, the callee script must also be kept -- unless we
can refactor or unify scripts somehow):

Specware-gnu - Preferred way on Linux to run Specware within emacs (TODO: get rid of the -gnu in the name)
Specware4-shell-sbcl - Preferred way on Linux to run Specware in a terminal - TODO: rename to not have 4 in the name, after deleting the above script.

Isabelle_Specware - Preferred way to run Isabelle with Specware? (doesn't seem to work on Linux for Eric)
Emacs_Specware - used by Isabelle_Specware script (unify with Specware-gnu? - no, not meant to be called directly)

SpecwareMac - Preferred way to run Specware on the Mac (click and you are left with the Specware Emacs window in focus)

bootstrap - main script for building Specware on Mac and Linux (SW builds Specware from emacs, runs elisp code, see the Windows scripts - these scripts possibly allow other lisps, uses more non-hardwired variables, could mimic what Windows does, e.g., with Set_Environment_Vars.cmd)
Bootstrap_Specware - called by bootstrap
Prepare_Bootstrap_Image - called by Bootstrap_Specware
Generate_Specware_Lisp - called by Bootstrap_Specware
Compile_Specware_Lisp - called by Bootstrap_Specware
Build_Specware_Dev - called by Bootstrap_Specware
Verify_Specware_Variables - called by Prepare_Bootstrap_Image - finds Specware, emacs, etc.  lots of scripts call this, to get a uniform environment.
<commit_msg>Update comments.<commit_after>This directory contains a variety of scripts and needs to be cleaned
up.  (This directory is also where executable images currently get
put, but perhaps that should change.)

Naming style:
- underscores preferred to dashes or camel case
- "Specware" preferred over "Specware4"
- Jim suggests the format "command_application_language"

TODO: Consider doing much of this scripting in Emacs.  Would then work
on Windows too.

Here is a start at figuring out the status of each script (I don't
list all the callers of each script, if there is any caller script
that we have to keep, the callee script must also be kept -- unless we
can refactor or unify scripts somehow):

Specware-gnu - TODO: Deprecate this (just use bin/specware-emacs).
Specware4-shell-sbcl - TODO: deprecate this.  Now use bin/specware-shell.

TODO: Consider deprecating these:
Isabelle_Specware - Preferred way to run Isabelle with Specware? (doesn't seem to work on Linux for Eric)
Emacs_Specware - used by Isabelle_Specware script (unify with Specware-gnu? - no, not meant to be called directly)

SpecwareMac - TODO: Deprecate this (just use bin/specware-emacs).

bootstrap - main script for building Specware on Mac and Linux (SW builds Specware from emacs, runs elisp code, see the Windows scripts - these scripts possibly allow other lisps, uses more non-hardwired variables, could mimic what Windows does, e.g., with Set_Environment_Vars.cmd)
Bootstrap_Specware - called by bootstrap
Prepare_Bootstrap_Image - called by Bootstrap_Specware
Generate_Specware_Lisp - called by Bootstrap_Specware
Compile_Specware_Lisp - called by Bootstrap_Specware
Build_Specware_Dev - called by Bootstrap_Specware
Verify_Specware_Variables - called by Prepare_Bootstrap_Image - finds Specware, emacs, etc.  lots of scripts call this, to get a uniform environment.

{'fraction_non_alphanumeric': 0.04590505998956703, 'fraction_numerical': 0.0013041210224308817, 'mean_word_length': 4.741017964071856, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '7546270', 'n_tokens_mistral': 1058, 'n_tokens_neox': 1028, 'n_words': 525}