Page History

View, compare, or restore historical versions of this page. Older versions may be automatically deleted based on rules set by your administrator.

Version	Published	Changed By	Comment
CURRENT (v. 7)	Feb 03, 2017 08:52	Sandy Shrum	editorial changes
v. 6	Jan 04, 2017 16:55	Robert Schiela	Removed unnecessary "on the wiki".
v. 5	Nov 01, 2016 14:06	David Svoboda	removed 'soundness' and 'completeness'
v. 4	Nov 01, 2016 13:49	David Svoboda	put false+ before false-
v. 3	Nov 01, 2016 13:10	David Svoboda	complete & sound now agree with Java
v. 2	Nov 01, 2016 13:03	David Svoboda	clarification on halting problem.
v. 1	Oct 25, 2016 12:05	Aaron Ballman

Space shortcuts