Sat, 10 Mar 2018 15:52:47 +0100 | wenzelm | workaround for occasional deadlock seen in HOL-Proofs with threads=2; | changeset | files |
Sat, 10 Mar 2018 14:43:15 +0100 | wenzelm | adapted to 3869b2400e22; | changeset | files |
Sat, 10 Mar 2018 14:20:27 +0100 | wenzelm | tuned output; | changeset | files |