<commit_before>@echo off


rem  Check that the needed environment variables are set:

if "%SPECWARE4%"=="" (
  echo Error: environment variable SPECWARE4 not set.
  echo SPECWARE4 must be set to the path of the Specware 4 tree,
  echo e.g. c:\users\me\specware4.
  pause
  exit
)

if "%XEMACS%"=="" (
  echo Error: environment variable XEMACS not set.
  echo XEMACS must be set to the path of the XEmacs tree,
  echo e.g. c:\progra~1\xemacs\xemacs-21.4.11.
  pause
  exit
)

if "%ALLEGRO%"=="" (
  echo Error: environment variable ALLEGRO not set.
  echo ALLEGRO must be set to the path of the Allegro Common Lisp tree,
  echo e.g. c:\progra~1\acl62.
  pause
  exit
)


rem  Set additional environment variables that depend on the previous ones:

if "%SWPATH%"=="" set SWPATH=C:/
  rem set SWPATH only if unset
set SPECWARE_BIN=%SPECWARE4%\Applications\Specware\bin\windows
set LISP_EXECUTABLE=%ALLEGRO%\alisp.exe
set LISP_HEAP_IMAGE=%SPECWARE_BIN%\Specware4.dxl
set LISP_DIRECTORY=%Specware4%/


rem  Move to Specware 4 main directory:

cd "%SPECWARE4%"
<commit_msg>Put double-quotes around filenames to avoid problems with environment variables expanding into directories containing spaces, periods, etc.<commit_after>@echo off

rem  Check that the needed environment variables are set:
rem  In general, enclose filenames in double-quotes, since enviroment 
rem  variables could expand to dirctories containing spaces, periods, 
rem  and other nasty characters.

if "%SPECWARE4%"=="" (
  echo  Error: environment variable SPECWARE4 not set.
  echo  SPECWARE4 must be set to the path of the Specware tree,
  echo  e.g. C:\Specware4.
  pause
  exit
)

if "%XEMACS%"=="" (
  echo  Error: environment variable XEMACS not set.
  echo  XEMACS must be set to the path of the XEmacs tree,
  echo  e.g. C:\Progra~1\xemacs\xemacs-21.4.18.
  pause
  exit
)

if "%ALLEGRO%"=="" (
  echo  Error: environment variable ALLEGRO not set.
  echo  ALLEGRO must be set to the path of the Allegro Common Lisp tree,
  echo  e.g. C:\Progra~1\acl62.
  pause
  exit
)

rem  Set additional environment variables that depend on the previous ones:

if "%SWPATH%"=="" set SWPATH="C:/"
rem set SWPATH only if unset

set SPECWARE_BIN="%SPECWARE4%\Applications\Specware\bin\windows"
set LISP_EXECUTABLE="%ALLEGRO%\alisp.exe"
set LISP_HEAP_IMAGE="%SPECWARE_BIN%\Specware4.dxl"
set LISP_DIRECTORY="%Specware4%/"

rem  Move to Specware4 main directory:

cd "%SPECWARE4%"

{'fraction_non_alphanumeric': 0.09188118811881188, 'fraction_numerical': 0.014653465346534653, 'mean_word_length': 3.455026455026455, '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': '1087087', 'n_tokens_mistral': 932, 'n_tokens_neox': 855, 'n_words': 297}