prefer high-level change of \isabellestyle;
authorwenzelm
Thu Aug 14 12:46:37 2014 +0200 (2014-08-14)
changeset 57939b3baeeabfe0b
parent 57938 a9fa81e150c9
child 57940 ca3be9612d85
prefer high-level change of \isabellestyle;
src/Doc/Main/document/root.tex
     1.1 --- a/src/Doc/Main/document/root.tex	Thu Aug 14 12:33:21 2014 +0200
     1.2 +++ b/src/Doc/Main/document/root.tex	Thu Aug 14 12:46:37 2014 +0200
     1.3 @@ -15,17 +15,15 @@
     1.4  % this should be the last package used
     1.5  \usepackage{pdfsetup}
     1.6  
     1.7 -% urls in roman style, theory text in math-similar italics
     1.8 +% urls in roman style, theory text in math-similar italics, with literal underscore
     1.9  \urlstyle{rm}
    1.10 -\isabellestyle{it}
    1.11 +\isabellestyle{literal}
    1.12  
    1.13  % for uniform font size
    1.14  \renewcommand{\isastyle}{\isastyleminor}
    1.15  
    1.16  \parindent 0pt\parskip 0.5ex
    1.17  
    1.18 -\renewcommand{\isacharunderscore}{\_}
    1.19 -
    1.20  \usepackage{supertabular}
    1.21  
    1.22  \begin{document}