equal
deleted
inserted
replaced
35 \newcommand\cldx[1]{\isa{#1}\index{#1@\protect\isa{#1} (class)}} |
35 \newcommand\cldx[1]{\isa{#1}\index{#1@\protect\isa{#1} (class)}} |
36 \newcommand\tydx[1]{\isa{#1}\index{#1@\protect\isa{#1} (type)}} |
36 \newcommand\tydx[1]{\isa{#1}\index{#1@\protect\isa{#1} (type)}} |
37 \newcommand\thydx[1]{\isa{#1}\index{#1@\protect\isa{#1} (theory)}} |
37 \newcommand\thydx[1]{\isa{#1}\index{#1@\protect\isa{#1} (theory)}} |
38 |
38 |
39 \newcommand\attrdx[1]{\isa{#1}\index{#1@\protect\isa{#1} (attribute)}} |
39 \newcommand\attrdx[1]{\isa{#1}\index{#1@\protect\isa{#1} (attribute)}} |
40 \newcommand\commdx[1]{\isacommand{#1}\index{#1@\protect\isacommand{#1} |
40 \newcommand\cmmdx[1]{\index{#1@\protect\isacommand{#1} (command)}} |
41 (command)}} |
41 \newcommand\commdx[1]{\isacommand{#1}\index{#1@\protect\isacommand{#1} (command)}} |
42 \newcommand\methdx[1]{\isa{#1}\index{#1@\protect\isa{#1} (method)}} |
42 \newcommand\methdx[1]{\isa{#1}\index{#1@\protect\isa{#1} (method)}} |
43 \newcommand\tooldx[1]{\isa{#1}\index{#1@\protect\isa{#1} (tool)}} |
43 \newcommand\tooldx[1]{\isa{#1}\index{#1@\protect\isa{#1} (tool)}} |
44 \newcommand\settdx[1]{\isa{#1}\index{#1@\protect\isa{#1} (setting)}} |
44 \newcommand\settdx[1]{\isa{#1}\index{#1@\protect\isa{#1} (setting)}} |
45 |
45 |
46 %set argument in \bf font and index in ROMAN font (for definitions in text!) |
46 %set argument in \bf font and index in ROMAN font (for definitions in text!) |