XML/Output: Difference between revisions

Content added Content deleted
Line 1,783: Line 1,783:


def xmlEscape:
def xmlEscape:
foreach escapes[] as $esc (.; gsub($esc[0]; $esc[1]));
reduce escapes[] as $esc (.; gsub($esc[0]; $esc[1]));


def xmlDoc(names; remarks):
def xmlDoc(names; remarks):