Florian Reuter wrote:
> Hi Thomas,
> Hi Oliver,
>
> before going in the details of ODF1.2 enhancement (list-id :-)) lets concentrate for a moment on how numbering in ODF1.1
> works.
>
> I personally followed an axiomatic approach to clarify my understanding of the relationship between text:list and
> text:numbered-paragraphs.
>
> Basically I derived two simple axioms from the text (the axioms are not sufficient to decribe all stuff; but I just want
> to decribe the idea). I then used this axioms to transfrom text:list into numbered paragraphs.
>
> I'm currently writing down the complete list of axioms. However please let me know what you think of my axiomatic
> approach?
>
> ~Florian
>
Currently, I don't exactly know, what the two proposed axioms mean.
Equivalence of the two ODF structures?
If yes, I also currently don't know, how these axioms provide more
insight into how numbering works in ODF 1.1.
Looking at your document, my interpretation of the the purpose of the
two given axioms seems be to define somehow a conversion algorithm
between lists specified by