Thu, 19 Apr 2012 18:24:40 +0200 | kuncar | rename no_code to no_abs_code - more appropriate name | changeset | files |
Thu, 19 Apr 2012 17:31:34 +0200 | kuncar | use tnames for bound variables in rsp thms | changeset | files |
Thu, 19 Apr 2012 17:49:08 +0200 | blanchet | true delayed evaluation of "SPASS_VERSION" environment variable | changeset | files |