| Sun, 02 Sep 2018 21:22:52 +0200 | wenzelm | clarified Thy_Resources.Session.use_theories: "terminated" node status is sufficient; | changeset | files |
| Sun, 02 Sep 2018 20:51:07 +0200 | wenzelm | tuned documentation; | changeset | files |
| Sun, 02 Sep 2018 20:47:38 +0200 | wenzelm | more detailed node_status; | changeset | files |
| Sun, 02 Sep 2018 20:37:38 +0200 | wenzelm | clarified bracketing of messages: [forked [running finished] joined]; | changeset | files |