/**************************************/
/* Following list generated by ninfo. */
/**************************************/
list crisp_index = {
    "1. Introduction", 57, 66,
    "2. Running CRISP", 123, 37,
    "3. Undoing changes to the buffer", 160, 47,
    "4. Moving the cursor", 207, 125,
    "5. Inserting and Deleting Text", 332, 80,
    "6. Cutting and Pasting Text", 412, 146,
    "7. File and Buffer Manipulation", 558, 138,
    "8. Window Manipulation", 696, 76,
    "9. Searching and Replacing Text", 772, 135,
    "10. Recording keystrokes (keyboard macros)", 907, 74,
    "11. Scroll Locking", 981, 25,
    "12. Miscellaneous commands", 1006, 70,
    "13. The Command Line", 1076, 82,
    "14. Popup Windows", 1158, 43,
    "15. Features accessible from popup menus", 1201, 82,
    "16. Customization and the .crinit File", 1283, 187,
    "17. Abbreviations", 1470, 100,
};
