Tweak the script files to run Run-REDUCE asynchronously and avoid a console window on MS Windows.

Author: fjwright

Run-REDUCE

@@ -1,9 +1,11 @@
 #! /bin/bash
+# Run Run-REDUCE asynchronously on Linux, etc.
 
 # This batch file and Run-REDUCE.jar must be in the same directory.
 # The Java bin directory must be in PATH and the environment
 # variable PATH_TO_FX must be set to the JavaFX lib directory.
 # Then Run-REDUCE.jar can be run from anywhere by running this batch file.
 # Any command-line arguments are passed on to Run-REDUCE.jar.
 
-java -Djdk.gtk.version=2 --module-path "${PATH_TO_FX//\"/}" --add-modules javafx.fxml,javafx.web -jar "$(dirname $0)/Run-REDUCE.jar" $*
+java -Djdk.gtk.version=2 --module-path "${PATH_TO_FX//\"/}" --add-modules javafx.fxml,javafx.web \
+-jar "$(dirname $0)/Run-REDUCE.jar" "$@" &

Run-REDUCE.bat

@@ -1,4 +1,5 @@
 @echo off
+rem Run Run-REDUCE asynchronously on Microsoft Windows.
 
 rem This batch file and Run-REDUCE.jar must be in the same folder.
 rem The Java bin directory must be in PATH and the environment
@@ -8,4 +9,5 @@ rem Any command-line arguments are passed on to Run-REDUCE.jar.
 
 rem Note that %~p0 expands to the path component (with a final \) of this filename.
 
-java --module-path %PATH_TO_FX% --add-modules javafx.fxml,javafx.web -jar "%~p0Run-REDUCE.jar" %*
+start /b javaw --module-path %PATH_TO_FX% --add-modules javafx.fxml,javafx.web ^
+-jar "%~p0Run-REDUCE.jar" %*