Lines Matching refs:to
25 \item run \texttt{mkmunge.exe theories} to generate \texttt{munge.exe}
27 \item run latex on jobname.tex to generate jobname.hix
28 \item run \texttt{munge.exe -index jobname} to create jobname.tde and jobname.tid
29 \item rerun latex to use jobname.tid and jobname.tde
31 \item if using emacs with AucTex you might want to add to your \texttt{.emacs}
34 '(add-to-list 'TeX-command-list
55 - you want to use one theorem with different formating options
56 - you want to add a theorem several times to the index)
67 Add it explicitly to the index (citations are added automatically)
80 Use boolean flags to determine the default
98 that parses files in a syntax similar to BibTex.
216 Hidden citations (adds page to index,
232 Sometimes, it might be tiresome to write a lengthy theory name over and over again.
238 It is a little bit trickier to get the same effect for citation lists. There is however,
244 If you are using many theorem citations it might become tricky to keep track of what you are citing.
246 line to the header of your file:
254 One can adapt these easily to personal preferences. Here the standard
255 definitions are printed. Just copy them to the header of your file
256 and modify them to your taste:
331 \section{Some citing to fill the index}