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