LAST-EDWFF-TYPE : GETGWFFTYPE

LAST-EDWFF-TYPE is a wff reference format.
last-edwff : The name for the last edited wff when outside the editor.

ETPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage