updated;
authorwenzelm
Wed Sep 20 00:50:09 2000 +0200 (2000-09-20)
changeset 100370d2a6feeb634
parent 10036 ca83cc2973f9
child 10038 839340b78fc8
updated;
doc-src/AxClass/generated/isabelle.sty
doc-src/TutorialI/isabelle.sty
     1.1 --- a/doc-src/AxClass/generated/isabelle.sty	Wed Sep 20 00:02:26 2000 +0200
     1.2 +++ b/doc-src/AxClass/generated/isabelle.sty	Wed Sep 20 00:50:09 2000 +0200
     1.3 @@ -91,11 +91,15 @@
     1.4  \newcommand{\isamarkupcmt}[1]{{\isastylecmt--- #1}}
     1.5  
     1.6  
     1.7 -% alternative styles -- default is "tt"
     1.8 +% alternative styles
     1.9  
    1.10  \newcommand{\isabellestyle}{}
    1.11  \def\isabellestyle#1{\csname isabellestyle#1\endcsname}
    1.12  
    1.13 +\newcommand{\isabellestylett}{%
    1.14 +\renewcommand{\isastyle}{\small\tt}%
    1.15 +\renewcommand{\isastyleminor}{\tt}%
    1.16 +}
    1.17  \newcommand{\isabellestyleit}{%
    1.18  \renewcommand{\isastyle}{\small\it}%
    1.19  \renewcommand{\isastyleminor}{\it}%
     2.1 --- a/doc-src/TutorialI/isabelle.sty	Wed Sep 20 00:02:26 2000 +0200
     2.2 +++ b/doc-src/TutorialI/isabelle.sty	Wed Sep 20 00:50:09 2000 +0200
     2.3 @@ -91,11 +91,15 @@
     2.4  \newcommand{\isamarkupcmt}[1]{{\isastylecmt--- #1}}
     2.5  
     2.6  
     2.7 -% alternative styles -- default is "tt"
     2.8 +% alternative styles
     2.9  
    2.10  \newcommand{\isabellestyle}{}
    2.11  \def\isabellestyle#1{\csname isabellestyle#1\endcsname}
    2.12  
    2.13 +\newcommand{\isabellestylett}{%
    2.14 +\renewcommand{\isastyle}{\small\tt}%
    2.15 +\renewcommand{\isastyleminor}{\tt}%
    2.16 +}
    2.17  \newcommand{\isabellestyleit}{%
    2.18  \renewcommand{\isastyle}{\small\it}%
    2.19  \renewcommand{\isastyleminor}{\it}%