EDWFF-TYPE : GETGWFFTYPE

EDWFF-TYPE is a wff reference format.
edwff : The editor's name for the wff being edited.

ETPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage