<commit_before>@echo off

echo This script runs two installations in sequence:
echo First XEmacs 21.4.10, then Specware 4.1.4
echo.
echo Preparing to offer to install xemacs 21.4.10 ...
echo.
echo When prompted with a choice of places to install from,
echo you should choose to install from "Local Disk".
echo.
echo For all other xemacs installation questions, you should press "Next".
echo.
echo NOTE:
echo.
echo If you already have XEmacs, you should be able to skip re-loading it
echo by pressing "Cancel" when prompted.  This intallation script should 
echo then proceed to offer to load Specware.
echo.
echo In particular, if you have a newer version (e.g. 21.4.17, etc.), you
echo probably SHOULD skip loading this (somewhat dated) version of XEmacs.
echo.
pause

XEmacs\setup.exe

echo.
echo Preparing to offer to install Specware 4.1.4 ...
echo.
echo Once InstallShield starts (which can take awhile, so be patient),
echo you should press "Next", then "Install", then "Finish".
echo.
echo (To do so, you will need to accept the click-thru license terms.)
echo. 

Windows\setupwin32.exe

echo.
echo Assuming you chose to install them, both XEmacs 21.4.10 and 
echo Specware 4.1.4 should now be available.
echo.
echo Unless you chose elsewhere, Specware 4.1.4 lives at 
echo.
echo   C:\Program Files\Kestrel\Specware-4-1-4
echo.
echo There should be two desktop icons to run Specware:
echo.
echo  one that runs under XEMacs (normal usage)
echo  one that runs without XEmacs
echo.

pause<commit_msg>*** empty log message ***<commit_after>@echo off

echo This script runs two installations in sequence:
echo First XEmacs 21.4.10, then Specware 4.1.4
echo.
echo Preparing to offer to install xemacs 21.4.10 ...
echo.
echo When prompted with a choice of places to install from,
echo you should choose to install from "Local Disk".
echo.
echo For all other xemacs installation questions, you should press "Next".
echo.
echo NOTE:
echo.
echo If you already have XEmacs, you should be able to skip re-loading it
echo by pressing "Cancel" when prompted.  This intallation script should 
echo then proceed to offer to load Specware.
echo.
echo In particular, if you have a newer version (e.g. 21.4.17, etc.), you
echo probably SHOULD skip loading this (somewhat dated) version of XEmacs.
echo.
pause

XEmacs\setup.exe

echo.
echo Preparing to offer to install Specware 4.1.4 ...
echo.
echo Once InstallShield starts (which can take awhile, so be patient),
echo you should press "Next", "Next", "Next", "Install", "Finish".
echo.
echo (To do so, you will need to accept the click-thru license terms.)
echo. 

Windows\setupwin32.exe

echo.
echo Assuming you chose to install them, both XEmacs 21.4.10 and 
echo Specware 4.1.4 should now be available.
echo.
echo Unless you chose elsewhere, Specware 4.1.4 lives at 
echo.
echo   C:\Program Files\Kestrel\Specware-4-1-4
echo.
echo There should be two desktop icons to run Specware:
echo.
echo  one that runs under XEMacs (normal usage)
echo  one that runs without XEmacs
echo.

pause
{'fraction_non_alphanumeric': 0.07402511566424323, 'fraction_numerical': 0.024454725710508923, 'mean_word_length': 3.8743961352657004, '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': '1852475', 'n_tokens_mistral': 973, 'n_tokens_neox': 910, 'n_words': 463}