Sun, 12 Mar 2017 18:45:53 +0100 | wenzelm | clarified modules; | changeset | files |
Sun, 12 Mar 2017 18:05:06 +0100 | wenzelm | more explicit message type: allows body to become empty; | changeset | files |
Sun, 12 Mar 2017 17:59:03 +0100 | wenzelm | clarified current_command: index refers to node content, negative index means first command; | changeset | files |