# HG changeset patch # User wenzelm # Date 1391959021 -3600 # Node ID 9d5aba2baa4cb4caf102385436845986c574f864 # Parent 5e5c36b051af516ebfacd7246fb8816836490658 yet another attempt at actual underscore; enforce scalable fonts for T1 encoding; diff -r 5e5c36b051af -r 9d5aba2baa4c lib/texinputs/isabelle.sty --- a/lib/texinputs/isabelle.sty Sun Feb 09 13:07:23 2014 +0100 +++ b/lib/texinputs/isabelle.sty Sun Feb 09 16:17:01 2014 +0100 @@ -197,6 +197,12 @@ \chardef\isacharbackquoteclose=`\`% } +\newcommand{\isabellestyleliteralunderscore}{% +\isabellestyleliteral% +\def\isacharunderscore{\textunderscore}% +\def\isacharunderscorekeyword{\textunderscore}% +} + \newcommand{\isabellestylesl}{% \isabellestyleit% \def\isastyle{\small\sl}% diff -r 5e5c36b051af -r 9d5aba2baa4c src/Doc/IsarImplementation/document/root.tex --- a/src/Doc/IsarImplementation/document/root.tex Sun Feb 09 13:07:23 2014 +0100 +++ b/src/Doc/IsarImplementation/document/root.tex Sun Feb 09 16:17:01 2014 +0100 @@ -1,4 +1,6 @@ \documentclass[12pt,a4paper,fleqn]{report} +\usepackage[T1]{fontenc} +\usepackage{ae} \usepackage{latexsym,graphicx} \usepackage[refpage]{nomencl} \usepackage{iman,extra,isar,proof} diff -r 5e5c36b051af -r 9d5aba2baa4c src/Doc/IsarRef/document/root.tex --- a/src/Doc/IsarRef/document/root.tex Sun Feb 09 13:07:23 2014 +0100 +++ b/src/Doc/IsarRef/document/root.tex Sun Feb 09 16:17:01 2014 +0100 @@ -1,4 +1,6 @@ \documentclass[12pt,a4paper,fleqn]{report} +\usepackage[T1]{fontenc} +\usepackage{ae} \usepackage{amssymb} \usepackage{eurosym} \usepackage[english]{babel} diff -r 5e5c36b051af -r 9d5aba2baa4c src/Doc/IsarRef/document/style.sty --- a/src/Doc/IsarRef/document/style.sty Sun Feb 09 13:07:23 2014 +0100 +++ b/src/Doc/IsarRef/document/style.sty Sun Feb 09 16:17:01 2014 +0100 @@ -39,10 +39,10 @@ \parindent 0pt\parskip 0.5ex -\isabellestyle{literal} +\isabellestyle{literalunderscore} \newcommand{\isasymdash}{\isatext{\mbox{-}}} \railtermfont{\isabellestyle{tt}} -\railnontermfont{\isabellestyle{literal}} -\railnamefont{\isabellestyle{literal}} +\railnontermfont{\isabellestyle{literalunderscore}} +\railnamefont{\isabellestyle{literalunderscore}} diff -r 5e5c36b051af -r 9d5aba2baa4c src/Doc/System/document/root.tex --- a/src/Doc/System/document/root.tex Sun Feb 09 13:07:23 2014 +0100 +++ b/src/Doc/System/document/root.tex Sun Feb 09 16:17:01 2014 +0100 @@ -1,4 +1,6 @@ \documentclass[12pt,a4paper]{report} +\usepackage[T1]{fontenc} +\usepackage{ae} \usepackage{supertabular} \usepackage{graphicx} \usepackage{iman,extra,isar,ttbox}