Am 18.09.2020 um 18:18 schrieb Hans van der Meer:
A possibility is saving the data as text in a Lua-table. If you are not
afraid to use some Lua, I can send my code for saving files and data for
repeated use.
Sorry, for answering only now. I've missed your response. That sounds
Am 19.09.2020 um 11:59 schrieb Hans Hagen:
On 9/18/2020 8:59 PM, Denis Maier wrote:
Am 18.09.2020 um 19:02 schrieb Hans Hagen:
On 9/18/2020 3:36 PM, Denis Maier wrote:
I've tried using buffers, but this here doesn't work:
Why not just fetch it when needed. There is no gain in storing it
On 9/18/2020 8:59 PM, Denis Maier wrote:
Am 18.09.2020 um 19:02 schrieb Hans Hagen:
On 9/18/2020 3:36 PM, Denis Maier wrote:
I've tried using buffers, but this here doesn't work:
Why not just fetch it when needed. There is no gain in storing it and
fetching from the xml tree is fast.
Am 18.09.2020 um 19:02 schrieb Hans Hagen:
On 9/18/2020 3:36 PM, Denis Maier wrote:
I've tried using buffers, but this here doesn't work:
Why not just fetch it when needed. There is no gain in storing it and
fetching from the xml tree is fast.
Most likely due to my limited understanding
On 9/18/2020 3:36 PM, Denis Maier wrote:
I've tried using buffers, but this here doesn't work:
Why not just fetch it when needed. There is no gain in storing it and
fetching from the xml tree is fast.
Hans
-
A possibility is saving the data as text in a Lua-table. If you are not afraid
to use some Lua, I can send my code for saving files and data for repeated use.
dr. Hans van der Meer
> On 18 Sep 2020, at 15:36, Denis Maier wrote:
>
> Hi,
>
> For typesetting XML I'm wondering how to best store
Hi,
For typesetting XML I'm wondering how to best store text for later use:
I've tried using buffers, but this here doesn't work:
==
\startxmlsetups xml:article-meta
\setupdocument [
pub-year=\xmlfilter{#1}{/pub-date/year/command(xml:article-meta:pubdate:year)},