Renaming working on ixampl

• From: Steven Pemberton <steven.pemberton@cwi.nl>
• Date: Mon, 21 Aug 2023 21:38:14 +0000
• To: ixml <public-ixml@w3.org>
• Message-Id: <1692653762719.407663131.2041222395@cwi.nl>

This evening ixampl passed regression tests with the new code added for 
renaming:


dates: date++-#a.
date: text; numeric.
-text: day, s, @tmonth > month, s, year.
-numeric: day, -"/", nmonth, -"/", year.
day: d, d?.
year: d, d, d, d.
@nmonth>month: d, d?.
tmonth: -"January", +"1";
       -"February", +"2";
         -"March", +"3";
         -"April", +"4";
         -"May", +"5";
       -"June", +"6";
         -"July", +"7";
         -"August", +"8";
         -"September", +"9";
       -"October", +"10";
         -"November", +"11";
         -"December", +"12".
-d: ["0"-"9"].
-s: -" "+.
#
31/12/2023
31 December 2023#

<dates>
    <date month='12'>
       <day>31</day>
       <year>2023</year>
    </date>
    <date month='12'>
       <day>31</day>
       <year>2023</year>
    </date>
</dates>

Steven

Received on Monday, 21 August 2023 21:38:22 UTC