Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
scalable fonts for T1 encoding;
authorwenzelm
Mon, 12 Oct 2015 21:11:48 +0200
changeset 61418 44d9d55b9ef4
parent 61417 e39b85325b41
child 61419 3c3f8b182e4b
scalable fonts for T1 encoding;
src/Doc/Eisbach/document/root.tex file | annotate | diff | comparison | revisions 
--- a/src/Doc/Eisbach/document/root.tex	Mon Oct 12 21:09:25 2015 +0200
+++ b/src/Doc/Eisbach/document/root.tex	Mon Oct 12 21:11:48 2015 +0200
@@ -1,4 +1,5 @@
 \documentclass[12pt,a4paper,fleqn]{report}
+\usepackage{lmodern}
 \usepackage[T1]{fontenc}
 \usepackage{latexsym,graphicx}
 \usepackage[refpage]{nomencl}
isabelle