Introduction

• Purpose
• Conventions
• Practical Details
  • Getting Set Up
  • Starting Up
  • Hints on Using the System
  • Exiting
  • Alternative Setups
• Customization
  • Window System Options
  • Editor Options
• Directory Structure
• Learning to use the System
  • Tips
  • The Nuprl Book