tuned latex;
authorwenzelm
Sat Jan 10 20:28:53 2015 +0100 (2015-01-10)
changeset 5934343281cd62cb0
parent 59342 fd9102b419f5
child 59344 e0ce214303c1
tuned latex;
src/Doc/isar.sty
     1.1 --- a/src/Doc/isar.sty	Sat Jan 10 16:35:21 2015 +0100
     1.2 +++ b/src/Doc/isar.sty	Sat Jan 10 20:28:53 2015 +0100
     1.3 @@ -4,8 +4,8 @@
     1.4  {\ifthenelse{\equal{}{#1}}{\index{#3 (#2)|bold}}{\index{#3 (#1\ #2)|bold}}}
     1.5  \newcommand{\indexref}[3]{\ifthenelse{\equal{}{#1}}{\index{#3 (#2)}}{\index{#3 (#1\ #2)}}}
     1.6  
     1.7 -\newcommand{\isasystem}[1]{{\def\isacharminus{-}\def\isacharunderscore{\_}\tt #1}}
     1.8 -\newcommand{\isatool}[1]{{\def\isacharminus{-}\def\isacharunderscore{\_}\tt isabelle #1}}
     1.9 +\newcommand{\isasystem}[1]{{\def\isacharminus{-}\def\isacharunderscore{\_}\isadigitreset\tt #1}}
    1.10 +\newcommand{\isatool}[1]{{\def\isacharminus{-}\def\isacharunderscore{\_}\isadigitreset\tt isabelle #1}}
    1.11  
    1.12  \newcommand{\indexoutertoken}[1]{\indexdef{}{syntax}{#1}}
    1.13  \newcommand{\indexouternonterm}[1]{\indexdef{}{syntax}{#1}}