| Mon, 16 Sep 2013 11:54:57 +0200 | kuncar | make ML function for deleting quotients public | changeset | files |
| Mon, 16 Sep 2013 11:54:57 +0200 | kuncar | public access to the raw transfer rules - for restoring transferring | changeset | files |
| Mon, 16 Sep 2013 11:22:06 +0200 | wenzelm | another move to avoid sporadic kill of poly, which is presumably due to resource management on lxbroy2, lxbroy3 etc.; | changeset | files |
| Mon, 16 Sep 2013 00:40:02 +0200 | blanchet | more (co)data docs | changeset | files |
| Sun, 15 Sep 2013 23:02:23 +0200 | blanchet | more (co)data docs | changeset | files |
| Sun, 15 Sep 2013 23:02:23 +0200 | blanchet | added missing theorems to "simps" collection | changeset | files |
| Sun, 15 Sep 2013 23:02:23 +0200 | blanchet | more (co)data docs | changeset | files |
| Sun, 15 Sep 2013 23:02:23 +0200 | blanchet | more (co)data docs | changeset | files |
| Sun, 15 Sep 2013 23:02:23 +0200 | blanchet | more (co)data docs | changeset | files |
| Sat, 14 Sep 2013 23:58:58 +0200 | wenzelm | merged | changeset | files |
| 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 |
| Fri, 13 Sep 2013 21:55:33 +0200 | blanchet | merged | changeset | files |
| Fri, 13 Sep 2013 21:28:57 +0200 | blanchet | more (co)data docs | changeset | files |