view etc/schema/xhtml-edit.rnc @ 102973:9980dd970cf9

* fileio.c (history_delete_duplicates): Remove unused declaration. * callint.c (history_delete_duplicates): New declaration. (Fcall_interactively): Remove command history duplicates when history_delete_duplicates is true.
author Dan Nicolaescu <dann@ics.uci.edu>
date Wed, 15 Apr 2009 00:08:23 +0000
parents 38f93f3d00a2
children
line wrap: on
line source

# Edit Module

del = element del { del.attlist, Inline.model }
del.attlist = Edit.attrib
ins = element ins { ins.attlist, Inline.model }
ins.attlist = Edit.attrib
Edit.attrib =
  attribute cite { URI.datatype }?,
  attribute datetime { Datetime.datatype }?
Edit.class = del | ins
Inline.class |= Edit.class
Block.class |= Edit.class