Crossreferencing
From: Matthias Clasen <mclasen@sun2.mathematik.unifreiburg.de>
Date: Thu, 27 Mar 1997 23:09:09 +0100 (MET)
Hello all,
I have a simple question: Is it possible to process crossreferences with
just the Core Query Language currently present in Jade ?
The situation is the following: My document looks like
<theorem id=foo> ... </theorem>
<proof of=foo> ... </proof>
(`id' is an ID attribute, `of' an IDREF)
I could something like
(element THEOREM
(make paragraph
(literal (appendstring "Theorem "
(number>string (childnumber))
"."))
(processchildren)))
to give my theorem a running number. But how do I generate the
corresponding number for the proof ? My study of the standardbrought up
the following solution:
(element PROOF
(make paragraph
(literal "Proof of "
(number>string (childnumber (referent)))
":"))
(processchildren)))
but Jade chokes on `referent', which is not part of the Core Query
Language. Any ideas?
Thanks in advance, Matthias
PS The next task will be to omit the number if the proof immediately
follows the theorem. That should be easier.
