Subject: GUI

Keywords: ::term
          ::instantiate
          ::DisplayForm

Title: instantiating terms

--------------------------------------------------

First make sure you are in term mode (see Term Text).

The editor point can be at a term or a slot. If at a term then the current
term becomes the first subterm of the instantiated term.
The term to instantiated is indicated by typing a string followed by space.
The string can be the name of the definition object defining the term,
a display object which defines display forms for the term, 
an editor alias (declared in a display object),
or a term sig (see TermSig).

To find the names of definition you want to instantiate you can browse
with the Navigator or search (see Searching Directory Tree).

 ⋅
--------------------------------------------------

Authors: 

Contributors: NUPRL:t

⋅

Home