0000000000000000000000000000000000000000 b9f6bfc08ceec9e53eb4acd276432b90696d3cc1 Martin Frické <mfricke@u.arizona.edu> 1388519365 -0700	commit (initial): Initial Commit 12/31/2013 Proofs as was plus recently added Set Theory menu items and rules
b9f6bfc08ceec9e53eb4acd276432b90696d3cc1 abce5c7912d06507038b3494aad6592e77054690 Martin Frické <mfricke@u.arizona.edu> 1388691141 -0700	commit: Symbol Palette was written for the Input Panel 	-- there used to be one in Java but it was commented out. In  	now inserting symbols into input text 	-- tried (but did not succeed) with styling the buttons to 	make them smaller 	-- there is a small issue with how to pick up whether set 	 theory or modal symbols are needed (now using global  	 preferences) 	-- there are two palettes, one for TextBox (created here) and 	one for RichText, created some time ago
abce5c7912d06507038b3494aad6592e77054690 59e319137243e1923f65671b028b48a56bad4eec Martin Frické <mfricke@u.arizona.edu> 1432156897 -0700	commit: 5/20/2015 Makes no real changes, just commits to start 2015 development
59e319137243e1923f65671b028b48a56bad4eec fda4685b8901708f5054b83c74e49689e5697ffd Martin Frické <mfricke@u.arizona.edu> 1432162857 -0700	commit: 5/20/2015 Initial commit of Proof Widget, which runs stand alone out of a web page. Sample web pages are included. This wants to be opened in Eclipse with a GWT plug-in, then compiled and run e.g. Run As Web Application (GWT Super Dev Mode). Navigate to the file us.softoption.gwt.proofs.client Proofs.java and compile and run from there. It appears to be running correctly as is, right now. [There may be some files from a similar Tree client that are not strictly needed but which have not been identified and removed.]
fda4685b8901708f5054b83c74e49689e5697ffd 97eea046bc5b2dddeb564c53a3ff9525d03c6939 Martin Frické <mfricke@u.arizona.edu> 1432209948 -0700	commit: 5/21/2015
97eea046bc5b2dddeb564c53a3ff9525d03c6939 194cd31f3444dde260bf0332f58f97fa33b05a09 Martin Frické <mfricke@u.arizona.edu> 1432255382 -0700	commit: Fix the Licensing
194cd31f3444dde260bf0332f58f97fa33b05a09 394836e9f07c520cb386ab9d12b97dc8b0767faf Martin Frické <mfricke@u.arizona.edu> 1432323449 -0700	commit: Scan most files
394836e9f07c520cb386ab9d12b97dc8b0767faf dd22639b024f0d2aa2de87db5fccff3b55dae0e4 Martin Frické <mfricke@u.arizona.edu> 1432446885 +0200	commit: Removes missing files
dd22639b024f0d2aa2de87db5fccff3b55dae0e4 d68cbb73194ef4ba142ca6d0b4fdaa1f9c712aca Martin Frické <mfricke@u.arizona.edu> 1432574796 +0200	commit: ReadMe updated
