| Sat, 14 Sep 2013 23:52:36 +0200 | wenzelm | tuned proofs; | changeset | files |
| Sat, 14 Sep 2013 22:50:15 +0200 | wenzelm | tuned magic number, for improved reactivity on old 2-core machine; | changeset | files |
| Sat, 14 Sep 2013 22:30:10 +0200 | wenzelm | tuned proofs; | changeset | files |
| Sat, 14 Sep 2013 22:34:25 +0200 | krauss | updated keywords | changeset | files |
| Sat, 14 Sep 2013 18:24:12 +0200 | haftmann | tuned proof | changeset | files |
| 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 |
| Fri, 13 Sep 2013 22:33:16 +0200 | wenzelm | merged | changeset | files |
| Fri, 13 Sep 2013 22:31:56 +0200 | wenzelm | tuned proofs; | changeset | files |
| Fri, 13 Sep 2013 22:16:26 +0200 | wenzelm | tuned proofs; | changeset | files |
| Fri, 13 Sep 2013 21:14:08 +0200 | wenzelm | updated to jdk-7u40; | changeset | files |
| Fri, 13 Sep 2013 14:53:00 +0200 | wenzelm | added component jdk-7u40.tar.gz (inactive); | changeset | files |