Next / Previous / Contents / Shipman's homepage

10.7. INDEX_PAGE_TITLE

Title of the index page.

noteweb
INDEX_PAGE_TITLE  =  "John W. Shipman's Field Notes"