src/Doc/isar.sty
changeset 59343 43281cd62cb0
parent 59003 16d92d37a8a1
child 59346 f25442e194bf
     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}}