| Sat, 14 Sep 2013 14:01:48 +0200 | wenzelm | merged | changeset | files |
| Sat, 14 Sep 2013 13:59:57 +0200 | wenzelm | tuned proofs; | changeset | files |
| Sat, 14 Sep 2013 20:57:22 +1000 | kleing | print find_thms result in reverse order so best result is on top | changeset | files |
| Sat, 14 Sep 2013 20:56:12 +1000 | kleing | more useful sorting of find_thms results | changeset | files |
| Fri, 13 Sep 2013 23:52:01 +0200 | wenzelm | proper sharing after change of directory structure (cf. 32ec957e5c3e); | changeset | files |
| Fri, 13 Sep 2013 23:17:04 +0200 | wenzelm | restricted heap, which might improve stability of this test; | changeset | files |