next up previous contents
Next: Directory Structure Up: Rigi User's Manual Previous: Editing the source text



James Uhl
Wed Jul 10 14:13:22 PDT 1996