| Tue, 16 Sep 2025 16:07:28 +0200 | wenzelm | tuned signature: more explicit operations; | file | diff | annotate |
| Tue, 16 Sep 2025 13:52:24 +0200 | wenzelm | clarified signature: more thorough treatment of all command_states; | file | diff | annotate |
| Tue, 16 Sep 2025 12:02:41 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Tue, 16 Sep 2025 11:58:46 +0200 | wenzelm | more uniform Command_Status.theory_status vs. Node_Status.theory_status: cover all command_states, without special cases; | file | diff | annotate |