2009 Sept 6: updated Analyze to fix error with nondeletion of multiple old vars Sept 7: updated PE to compute gcd of common coefficients for cross multiplication Sept 20: fixed analyzeRETURN to return incoming premises+post as answer 2010 Feb 2: in PE.proveRELATION, added limit to number of iterations of worklist algorithm to deal with unbounded coefficient multiples generated by cross-multiplication in attempting to prove a falsehood. 2011 revised default in algebra theorem prover to require line-number justification in all cases 2013 Dec: revised execution option x to make generation of ...A.py file optional removed n option repaired parser to accept calls of form v = readInt(STRING_ARG_HERE)