# HG changeset patch
# User wenzelm
# Date 1391962863 -3600
# Node ID ec7dae620736f7df2ec3a6e4b0217bcd6bc4db2b
# Parent  4d26690379b18d9d902ed355f5f5614d4c31b73b# Parent  f4bbfc2eeae84bff7203f45b91ca873c77685d7e
merged

diff -r 4d26690379b1 -r ec7dae620736 Admin/Release/CHECKLIST
--- a/Admin/Release/CHECKLIST	Sun Feb 09 15:26:33 2014 +0100
+++ b/Admin/Release/CHECKLIST	Sun Feb 09 17:21:03 2014 +0100
@@ -25,6 +25,10 @@
 
 - check funny base directory, e.g. "Test 中国";
 
+- check scalable fonts, e.g. src/Doc/ProgProve (NOTE: T1 encoding
+  requires cm-super fonts, which are usually available on MacTeX or
+  Cygwin, but not on Ubuntu/Debian);
+
 - diff NEWS wrt. last official release, which is read-only;
 
 - update https://bitbucket.org/isabelle_project/isabelle-release/wiki/Home
diff -r 4d26690379b1 -r ec7dae620736 lib/texinputs/isabelle.sty
--- a/lib/texinputs/isabelle.sty	Sun Feb 09 15:26:33 2014 +0100
+++ b/lib/texinputs/isabelle.sty	Sun Feb 09 17:21:03 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 4d26690379b1 -r ec7dae620736 src/Doc/IsarImplementation/document/root.tex
--- a/src/Doc/IsarImplementation/document/root.tex	Sun Feb 09 15:26:33 2014 +0100
+++ b/src/Doc/IsarImplementation/document/root.tex	Sun Feb 09 17:21:03 2014 +0100
@@ -1,4 +1,5 @@
 \documentclass[12pt,a4paper,fleqn]{report}
+\usepackage[T1]{fontenc}
 \usepackage{latexsym,graphicx}
 \usepackage[refpage]{nomencl}
 \usepackage{iman,extra,isar,proof}
diff -r 4d26690379b1 -r ec7dae620736 src/Doc/IsarRef/document/root.tex
--- a/src/Doc/IsarRef/document/root.tex	Sun Feb 09 15:26:33 2014 +0100
+++ b/src/Doc/IsarRef/document/root.tex	Sun Feb 09 17:21:03 2014 +0100
@@ -1,4 +1,5 @@
 \documentclass[12pt,a4paper,fleqn]{report}
+\usepackage[T1]{fontenc}
 \usepackage{amssymb}
 \usepackage{eurosym}
 \usepackage[english]{babel}
diff -r 4d26690379b1 -r ec7dae620736 src/Doc/IsarRef/document/style.sty
--- a/src/Doc/IsarRef/document/style.sty	Sun Feb 09 15:26:33 2014 +0100
+++ b/src/Doc/IsarRef/document/style.sty	Sun Feb 09 17:21:03 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 4d26690379b1 -r ec7dae620736 src/Doc/System/document/root.tex
--- a/src/Doc/System/document/root.tex	Sun Feb 09 15:26:33 2014 +0100
+++ b/src/Doc/System/document/root.tex	Sun Feb 09 17:21:03 2014 +0100
@@ -1,4 +1,5 @@
 \documentclass[12pt,a4paper]{report}
+\usepackage[T1]{fontenc}
 \usepackage{supertabular}
 \usepackage{graphicx}
 \usepackage{iman,extra,isar,ttbox}