| Sun, 16 Dec 2012 12:07:37 +0100 | blanchet | added tracing to ATP exporter | changeset | files |
| Sat, 15 Dec 2012 22:19:14 +0100 | wenzelm | merged | changeset | files |
| Sat, 15 Dec 2012 21:34:32 +0100 | blanchet | MaSh exporter can now export subsets of the facts, as consecutive ranges | changeset | files |
| Sat, 15 Dec 2012 21:26:10 +0100 | blanchet | avoid creating nested threads for MaSh -- this seems to cause thread creation failures for machines with dozens of cores (unclear yet if that's really the issue) | changeset | files |