Java Automated Theorem Prover Properties (Read video description)

Regarding previous video • Executing JATP on a sy... , JATP software has a new icon and a Properties window.
Today video shows how to find the Properties window, functions of the window, selected color values, and much more. After downloading JATP files, create shortcut for the executable, then right click the shortcut and a menu will appear. On the menu, click Properties to display the Properties window.
JATP executable file can be downloaded via github.com/cal....
The file might not execute if it is removed from JATP folder in the production folder of JATP source directory. Comment any problem you have regarding the file and source code.