Fri, 13 Jan 2023 13:01:19 +0100 | wenzelm | more "cite" antiquotations; | changeset | files |
Fri, 13 Jan 2023 12:37:09 +0100 | wenzelm | clarified signature: more generic operations; | changeset | files |
Fri, 13 Jan 2023 12:16:04 +0100 | wenzelm | clarified check: this could be \nocite; | changeset | files |