Thu, 05 Mar 2015 11:57:34 +0100 | blanchet | helpful error message when 'auto' fails | changeset | files |
Thu, 05 Mar 2015 11:57:34 +0100 | blanchet | no quick_and_dirty for goals that may fail + tuned messages | changeset | files |
Thu, 05 Mar 2015 11:57:34 +0100 | blanchet | tuned new primrec messages | changeset | files |