| Sat, 14 Jan 2023 21:01:26 +0100 | wenzelm | tuned whitespace; | changeset | files |
| Sat, 14 Jan 2023 20:42:48 +0100 | wenzelm | more robust; | changeset | files |
| Sat, 14 Jan 2023 20:15:09 +0100 | wenzelm | basic support for update_cite_commands; | changeset | files |
| Sat, 14 Jan 2023 19:47:02 +0100 | wenzelm | more operations: use proper constants; | changeset | files |
| Sat, 14 Jan 2023 19:36:02 +0100 | wenzelm | proper session_options (amending da13da82f6f9); | changeset | files |
| Sat, 14 Jan 2023 19:29:14 +0100 | wenzelm | tuned signature; | changeset | files |
| Sat, 14 Jan 2023 17:52:12 +0100 | wenzelm | tuned; | changeset | files |