11/1/2020
[The main differences between the web page widgets and the stand alone Java application are that the application can save, or open, finished or half finished work, it can print better than the mere printing of a web page, and it is more sophisticated. If you wish to run an application, it will first download to your machine, check its own integrity, ask you if you wish to accept the digital signature that it carries, then it will launch.]
Deriver20Signed.jar (compiled 2015 tested and runs 10/30/20). Double click on this after it has been downloaded. Your machine will probably ask you about all sorts of security matters (you'll have to make your own choices on that, but the application is digitally signed by SoftOption). On the first run it will run with default preferences; make desired changes to the preferences (under the Help Menu); save them; then, on subsequent launches, it will run to your preferences.
- Example Propositional Exercises [This is a compressed folder (i.e. a zip) of 10 files. The files are XML (i.e. plain text). The files have a suffix .lgc which is the suffix that Deriver expects with its saved files.]
- Example Predicate Exercises [This is a compressed folder (i.e. a zip) of 15 files. The files are XML (i.e. plain text). The files have a suffix .lgc which is the suffix that Deriver expects with its saved files.]
The application itself is packaged as a java .jar file and it will launch by double-click. You will need Java installed on your machine. Many machines will have that anyway, otherwise they will assist you in installing it . [Its signature can be verified https://docs.oracle.com/javase/tutorial/deployment/jar/verify.html .]
Mac
A Mac computer will warn you that the application is from an unknown developer and has not been checked and certified by Apple. Certification is expensive and not worthwhile for open source software that is given away free. But a Mac will run the .jar , if you assent to its doing that.
Windows
A Windows computer will scan the .jar file automatically and tell you that the .jar file is free from anything untoward. Then you can run the application by double clicking on it, if you wish to do that.
Next
Once you have the running application, probably the way forward is to go to