| Sun, 02 Nov 2014 15:27:37 +0100 | wenzelm | uniform heading commands work in any context, even in theory header; | changeset | files |
| Sun, 02 Nov 2014 13:26:20 +0100 | wenzelm | eliminated dead code; | changeset | files |
| Sat, 01 Nov 2014 20:19:07 +0100 | wenzelm | clarified syntax -- avoid overlap with command category; | changeset | files |
| Sat, 01 Nov 2014 19:47:48 +0100 | wenzelm | tuned signature (see ab2483fad861); | changeset | files |