1. Read through 5/22/2015

Software for instruction in logic (as used on http://softoption.us ). 
This is the source code for the Proof Widget, which is some javascript 
for displaying proofs in propositional logic, predicate logic, first-order theories, 
set theory, and lambda calculus. The Widget illustrates intelligent editing of 
derivations, tactics, and compiling derivations (best-path theorem proving).
The code is written in Java and the project hosted and 
developed in the Eclipse IDE, with GIT and the Google Web Toolkit (GWT) plug-in. The 
GWT plug-in can run the project in Super Dev mode for development. Then it compiles the 
Java to Javascript, which can be embedded in Web Pages (or ePubs, iBooks etc.). 
Various 'switches' in those Web Pages allow the Proof Widget to be configured to run 
the desired systems. Sample Web pages are included.

