| Fri, 13 Jan 2023 13:57:39 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 13 Jan 2023 13:10:44 +0100 | wenzelm | clarified default: final value is provided in Isabelle/Scala Latex.Cite.unapply; | changeset | files |
| 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 |
| Thu, 12 Jan 2023 20:09:08 +0100 | wenzelm | avoid confusion of markup element vs. property names; | changeset | files |
| Thu, 12 Jan 2023 19:48:47 +0100 | wenzelm | clarified Latex markup: optional cite "location" consists of nested document text; | changeset | files |
| Thu, 12 Jan 2023 16:01:49 +0100 | wenzelm | more explicit latex markup; | changeset | files |