employer
/
tame
1
0
Fork 0
Code Packages Releases Activity

design/tpl: Letter paper 

This is what we'll usually be printing on, after all.
master
Mike Gerwitz 2021-05-18 15:06:35 -04:00
parent 83e3ade149
commit 80fd239d95
2 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
design/tpl/sec/class.tex
View File

@ -283,7 +283,8 @@ For notational convenience,
\end{figure}
Figure~\ref{fig:always-never} demonstrates \lemref{class-pred-vacu} in the
definitions of the classifications \tameclass{always} and~\tameclass{never}.
definitions of the classifications \tameclass{always} and
\tameclass{never}.
These classifications are typically referenced directly for clarity rather
than creating other vacuous classifications,
encapsulating \lemref{class-pred-vacu}.

2
design/tpl/tpl.tex
View File

@ -6,7 +6,7 @@
% International License.
%%
\documentclass[draft,toc=index]{scrartcl}
\documentclass[draft,toc=index,letterpaper]{scrartcl}
\usepackage[draft=false]{scrlayer-scrpage}
\usepackage{tpl}