| 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 |
| 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 |
| Fri, 13 Jan 2023 13:01:19 +0100 | wenzelm | more "cite" antiquotations; | changeset | files |