| Sun, 06 Nov 2022 22:20:51 +0100 | wenzelm | tuned comments; | changeset | files |
| Sun, 06 Nov 2022 22:17:28 +0100 | wenzelm | support for EPTCS style with demo document; | changeset | files |
| Sun, 06 Nov 2022 21:45:06 +0100 | wenzelm | tuned message; | changeset | files |
| Sun, 06 Nov 2022 20:56:05 +0100 | wenzelm | clarified delay -- more reactive; | changeset | files |