| Sat, 14 Jan 2023 22:37:15 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 14 Jan 2023 22:24:01 +0100 | wenzelm | proper language context; | changeset | files |
| Sat, 14 Jan 2023 22:23:40 +0100 | wenzelm | proper normal form of adjacent XML.Text, notably for Bibtex.update_cite; | changeset | files |