(DIR) ..
 (DIR) The Inform(al)7 Abbreviated Self Tutorial