| Fri, 13 Jan 2023 19:16:24 +0100 | wenzelm | clarified types; | changeset | files |
| Fri, 13 Jan 2023 19:07:18 +0100 | wenzelm | more explicit language context; | changeset | files |
| Fri, 13 Jan 2023 17:14:59 +0100 | wenzelm | clarified signature: more explicit types; | changeset | files |
| Fri, 13 Jan 2023 15:57:11 +0100 | wenzelm | support embedded syntax, for use with control symbols; | changeset | files |
| Fri, 13 Jan 2023 14:38:19 +0100 | wenzelm | tuned; | changeset | files |
| 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 |