4/11/2026
Many thanks to Leaning Technologies for providing CheerpJ and allowing its use for this purpose.
CheerpJ Deriver Test
[For various technical reasons it is quicker and easier at this point to provide the running app as a page on its own outside the SoftOption host environment.]
The Java .jar, the app, that CheerpJ is running is Deriver20Fat.jar. [WARNING: downloading a .jar from an unknown source and running it on your machine is a security risk, and basically should not be done.] If you would like to download Deriver20Fat.jar and run it side-by-side next to the CheerpJ version, you can download it from here Deriver20Fat.jar and run it with the terminal command %java -jar Deriver20Fat.jar .
The evaluator will be running an informal side-by-side evaluation . A running evaluation copy of CheerpJ occasionally will display a new page with license information.
File menu
New Browser produces a new viewer with the four panes looking at the journal, the proof, the tree, and the interpretation. Works
New File produces a new journal, proof, tree and interpretation within the existing browser. If there is an old document there, which has not been Saved, the User is prompted to Save it. Good, if there are no Saves. There are issues if there are Saves. These will be discussed under the Save Menu Items.
Open Logic file opens an existing logic document, of four panels, within the present browser. If there is an old document already on display there, which has not been Saved, the User is prompted to Save it. Good, if there are no Saves. There are issues if there are Saves. These will be discussed under the Save Menu Items.
Open Web Page can open many types of document into the Journal only. It can open from files or from urls. Typically the documents will be Web Pages. If there is existing content already on display there, which has not been Saved, the User is prompted to Save it. Good from files, if there are no Saves. There are issues if there are Saves. These will be discussed under the Save Menu Items. Will not open from Urls "Access to fetch at 'https://xxx.com/' from origin 'https://softoption.us' has been blocked by CORS policy: No 'Access-Control-Allow-Origin' header is present on the requested resource." The Deriver20Fat.jar, running from a terminal will open documents from Urls."
Close Browser closes the foremost browser. If there is a document already on display there, which has not been Saved, the User is prompted to Save it. If the browser is the only or last browser on display, the application as a whole will exit. Good, if there are no Saves. There are issues if there are Saves. These will be discussed under the Save Menu Items.
Save, and Save As are standard. They save all three of the journal, proof, tree, and interpretation.
Save Journal As HTML does exactly that (but the proof and interpretation are not saved). Saving this way allows the Journal to be opened elsewhere either as a Web page or, for example, in WORD.
The Printing Commands print.
Quit quits the entire program. The User is prompted to Save any unsaved documents