--- 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
--- 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}%
--- 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}
--- 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}
--- 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}}
--- 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}