Sun, 02 Sep 2018 22:30:08 +0200 |
wenzelm |
clarified quasi_consolidated state: ensure that exports are present for ok nodes;
|
file |
diff |
annotate
|
Sun, 02 Sep 2018 21:22:52 +0200 |
wenzelm |
clarified Thy_Resources.Session.use_theories: "terminated" node status is sufficient;
|
file |
diff |
annotate
|
Sun, 02 Sep 2018 20:47:38 +0200 |
wenzelm |
more detailed node_status;
|
file |
diff |
annotate
|
Sat, 01 Sep 2018 23:30:44 +0200 |
wenzelm |
clarified message;
|
file |
diff |
annotate
|
Sat, 01 Sep 2018 20:20:50 +0200 |
wenzelm |
more explicit status for "canceled" command within theory node;
|
file |
diff |
annotate
|
Sat, 18 Aug 2018 22:09:09 +0200 |
wenzelm |
optional notification of nodes_status (via progress);
|
file |
diff |
annotate
|
Sat, 18 Aug 2018 17:29:49 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sat, 18 Aug 2018 14:55:53 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sat, 18 Aug 2018 14:53:21 +0200 |
wenzelm |
tuned output;
|
file |
diff |
annotate
|
Sat, 18 Aug 2018 14:42:42 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Sat, 18 Aug 2018 14:35:48 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Sat, 18 Aug 2018 13:52:12 +0200 |
wenzelm |
trim nodes_status: avoid potential memory leak;
|
file |
diff |
annotate
|
Sat, 18 Aug 2018 13:40:23 +0200 |
wenzelm |
simplified (cf. dcd69422b953);
|
file |
diff |
annotate
|
Sat, 18 Aug 2018 13:33:40 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Sat, 18 Aug 2018 12:41:05 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|