| Fri, 04 Oct 2013 11:28:28 +0200 | blanchet | count remote threads as well when balancing CPU usage -- otherwise jEdit users and other users of the "blocking" mode may have to wait for 2 * timeout if they e.g. have 4 cores and 5 provers (the typical situation) | changeset | files |
| Fri, 04 Oct 2013 11:12:28 +0200 | blanchet | more parallelism in blocking mode | changeset | files |
| Fri, 04 Oct 2013 09:46:08 +0200 | blanchet | more robustness in MaSh | changeset | files |
| Thu, 03 Oct 2013 19:01:10 +0200 | wenzelm | back to post-release mode -- after fork point; | changeset | files |
| Thu, 03 Oct 2013 16:32:33 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 03 Oct 2013 16:25:40 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 03 Oct 2013 16:15:47 +0200 | wenzelm | more notes; | changeset | files |
| Thu, 03 Oct 2013 16:09:47 +0200 | wenzelm | tuned; | changeset | files |