/*
 *   $VER: TEXINDEX.MENU 4.0039 (22-Mai-95)
 */

VERSIONCHECK 40000 "TEXINDEX.MENU"


ITEMBAR

ITEM "Index" ""
  GETSTRING "Geben sie in Suchmuster an:" "#?#?" 
  SHOWINDEX _RS {@CASE};

ITEM "TeX-Index" "J"
  SHOWINDEX "# \\(chapter|section|sub|item|begin{enum|begin{item|end{enum|end{item)#?" {@CASE};

ITEM "TeX-Marken" ""
  SHOWINDEX "(#?\\label{#?" {@CASE};