Subject: GUI

Keywords: ::Navigator

Title: The Navigator

--------------------------------------------------
The Navigator is the primary method of navigating directories and
theories.

ScrollBox : sublist of objects in dir. Shows kind, status and name of
object. The status is a sequence of three booleans. First boolean
indicates liveness (see what does activating an object do).
The second boolean indicates that the object is complete (only 
really useful for proofs, ie an STM whose first proof is  incomplete 
will have an F).
The third boolean is meant to indicate that the closure of referenced
objects are TTT, but that has not been implemented so it is always F. 
 

Point : current object pointed to in the scroll box.  ⋅
--------------------------------------------------

Authors: 

Contributors: NUPRL:t
              RICH:t

⋅

Home