| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2024-03-12 | remove a lot of stuff that was part of the shell and does not need to be ↵ | Irene Knapp | |
| part of the line input library Change-Id: Idd0435a4b29f5f525c9279e5c1d27916e6320685 | |||
| 2021-01-30 | don't require a newline at the end of a command line, because we've stripped ↵ | Irene Knapp | |
| that by the time it's parsed | |||
| 2021-01-01 | Clarify the regexp comment even more, and allow empty invocations so the ↵ | Irene Knapp | |
| error can be dealt with at a higher level | |||
| 2020-12-14 | path lists parse okay now | Irene Knapp | |
| 2020-09-22 | Parse space-separated words. | Irene Knapp | |
| 2020-09-15 | Use lalrpop in a trivial way as a proof of concept. Mess with some Unicode ↵ | Irene Knapp | |
| character classes. | |||