WFF-EDITOR : MODULE

WFF-EDITOR is a module.

It is loaded.
The kernel of the wff editor.

NEEDED-MODULES WFF-OPS1 WFF-OPS2

MACRO-FILES EDTOP

FILES EDOPERA EDMOVE EDABB EDPRT EDILL EDSUB EDCHANGE EDMBED EDDEV

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage