questions about MacIvory

[CGay@ALDERAAN.SCRC.Symbolics.COM (Carl L. Gay)]

    Date: Wed, 12 Sep 1990 09:28 EDT
    From: s9274%srl1@Warbucks.AI.SRI.COM

      They are documented in the MacIvory User's Manual in the section
      "Controlling the Genera Screen on a MacIvory".

    This section does not appear to be in the 8.0 doc set. There is a
    section entitled "Controlling the Ivory Coprocessor on a MacIvory", but
    it does not describe the options menu.

It's in the hardcopy documentation.  Unfortunately the
on-line and hardcopy doc don't always correspond exactly. 
The hardcopy documentation is often more current.