prefer T1 with searchable underscore (requires proper cm-super fonts);
authorwenzelm
Mon May 19 16:48:29 2014 +0200 (2014-05-19)
changeset 5700297a80d41a5ba
parent 57001 db2e51a80ab5
child 57003 188b70a00229
prefer T1 with searchable underscore (requires proper cm-super fonts);
src/Doc/JEdit/document/root.tex
src/Doc/Locales/document/root.tex
     1.1 --- a/src/Doc/JEdit/document/root.tex	Mon May 19 16:14:08 2014 +0200
     1.2 +++ b/src/Doc/JEdit/document/root.tex	Mon May 19 16:48:29 2014 +0200
     1.3 @@ -1,4 +1,5 @@
     1.4  \documentclass[12pt,a4paper]{report}
     1.5 +\usepackage[T1]{fontenc}
     1.6  \usepackage{supertabular}
     1.7  \usepackage{graphicx}
     1.8  \usepackage{iman,extra,isar,ttbox}
     2.1 --- a/src/Doc/Locales/document/root.tex	Mon May 19 16:14:08 2014 +0200
     2.2 +++ b/src/Doc/Locales/document/root.tex	Mon May 19 16:48:29 2014 +0200
     2.3 @@ -1,4 +1,6 @@
     2.4  \documentclass[11pt,a4paper]{article}
     2.5 +\usepackage[T1]{fontenc}
     2.6 +\usepackage[nohyphen,strings]{underscore}
     2.7  \usepackage{amsmath}
     2.8  \usepackage{isabelle,isabellesym}
     2.9  \usepackage{verbatim}