| Sun, 29 Sep 2024 21:40:37 +0200 |
wenzelm |
more flexible command syntax;
|
changeset |
files
|
| Sun, 29 Sep 2024 21:20:36 +0200 |
wenzelm |
less markup (amending 07ad0b407d38): const = "" is mainly for parentheses syntax -- avoid entity_markup here;
|
changeset |
files
|
| Sun, 29 Sep 2024 21:16:17 +0200 |
wenzelm |
more markup reports: notably "notation=..." within pretty blocks;
|
changeset |
files
|
| Sun, 29 Sep 2024 21:13:17 +0200 |
wenzelm |
more parse tree positions;
|
changeset |
files
|
| Sun, 29 Sep 2024 21:03:28 +0200 |
wenzelm |
more operations;
|
changeset |
files
|
| Sun, 29 Sep 2024 20:11:28 +0200 |
wenzelm |
clarified order for 'print_syntax' command;
|
changeset |
files
|
| Sun, 29 Sep 2024 19:51:23 +0200 |
wenzelm |
more accurate parse tree: retain all tokens (and thus positions);
|
changeset |
files
|
| Sun, 29 Sep 2024 19:45:38 +0200 |
wenzelm |
more thorough markup reports (amending 0c6a600c8939 and 7f9e8516ca05): descend into vacuous nodes;
|
changeset |
files
|
| Sun, 29 Sep 2024 15:58:28 +0200 |
wenzelm |
clarified comparison: prefer authentic nonterminal context, instead of somewhat accidental "const";
|
changeset |
files
|
| Sun, 29 Sep 2024 15:24:17 +0200 |
wenzelm |
more detailed parse tree: retain nonterminal context as well;
|
changeset |
files
|
| Sun, 29 Sep 2024 15:08:38 +0200 |
wenzelm |
clarified persistent data;
|
changeset |
files
|
| Sun, 29 Sep 2024 15:00:20 +0200 |
wenzelm |
clarified input and output: support markup blocks via Bg/En;
|
changeset |
files
|
| Sun, 29 Sep 2024 14:55:49 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Sun, 29 Sep 2024 13:48:34 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Sun, 29 Sep 2024 12:09:49 +0200 |
wenzelm |
more operations;
|
changeset |
files
|
| Sun, 29 Sep 2024 11:18:34 +0200 |
wenzelm |
clarified output: count Tip entries;
|
changeset |
files
|
| Sun, 29 Sep 2024 11:08:43 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Sat, 28 Sep 2024 23:23:30 +0200 |
wenzelm |
tuned whitespace;
|
changeset |
files
|
| Sat, 28 Sep 2024 21:16:01 +0200 |
wenzelm |
clarified signature: more explicit type "output";
|
changeset |
files
|
| Sat, 28 Sep 2024 20:28:11 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Sat, 28 Sep 2024 17:11:51 +0200 |
wenzelm |
tuned: more uniform;
|
changeset |
files
|
| Sat, 28 Sep 2024 16:58:04 +0200 |
wenzelm |
tuned: more uniform;
|
changeset |
files
|
| Sat, 28 Sep 2024 16:19:53 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Sat, 28 Sep 2024 16:11:30 +0200 |
wenzelm |
minor performance tuning;
|
changeset |
files
|
| Sat, 28 Sep 2024 16:07:46 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Sat, 28 Sep 2024 15:58:09 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Sat, 28 Sep 2024 15:41:51 +0200 |
wenzelm |
minor performance tuning;
|
changeset |
files
|
| Fri, 27 Sep 2024 23:47:45 +0200 |
wenzelm |
partial revert of d97fdabd9e2b, to build old documentation more reliably;
|
changeset |
files
|
| Fri, 27 Sep 2024 22:44:30 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Fri, 27 Sep 2024 22:36:00 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|