| Thu, 05 Mar 2015 11:57:34 +0100 | blanchet | better primcorec messages | changeset | files |
| Thu, 05 Mar 2015 11:57:34 +0100 | blanchet | more 'primcorec' error handling | changeset | files |
| 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 |
| Thu, 05 Mar 2015 11:57:34 +0100 | blanchet | reworked primcorec error messages | changeset | files |
| Thu, 05 Mar 2015 11:11:42 +0100 | hoelzl | fix import path | changeset | files |
| Wed, 04 Mar 2015 23:42:47 +0100 | wenzelm | merged | changeset | files |
| Wed, 04 Mar 2015 23:21:09 +0100 | wenzelm | tuned signature; | changeset | files |
| Wed, 04 Mar 2015 23:14:38 +0100 | wenzelm | tuned signature; | changeset | files |
| Wed, 04 Mar 2015 22:56:25 +0100 | wenzelm | removed unused; | changeset | files |
| Wed, 04 Mar 2015 23:31:13 +0100 | nipkow | merged | changeset | files |
| Wed, 04 Mar 2015 23:31:04 +0100 | nipkow | Removed the obsolete functions "natfloor" and "natceiling" | changeset | files |
| Wed, 04 Mar 2015 22:05:01 +0100 | wenzelm | clarified signature; | changeset | files |