update for texlive 2025

Author: jsiek

book.tex

@@ -1,8 +1,5 @@
 \documentclass[7x10]{TimesAPriori_MIT}%%7x10
 
-% TODO:
-%
-
 \usepackage[utf8]{inputenc}
 %% \usepackage{setspace}
 %% \doublespacing
@@ -107,14 +104,6 @@
 %% \lipsum[1]
 %% \endgroup
 
-\newbox\oiintbox
-\setbox\oiintbox=\hbox{$\lower2pt\hbox{\huge$\displaystyle\circ$}
-\hskip-13pt\displaystyle\int\hskip-7pt\int_{S}\ $}
-\def\oiint{\copy\oiintbox}
-
-\def\boldnabla{\hbox{\boldmath$\displaystyle\nabla$}}
-
-%\usepackage{showframe}
 \def\ShowFrameLinethickness{0.125pt}
 
 \addbibresource{book.bib}
@@ -320,15 +309,10 @@ \chapter*{Preface}
   scoping, that is, \emph{lambda} expressions. The reader learns about
   \emph{closure conversion}, in which lambdas are translated into a
   combination of functions and tuples.
-% Chapter about classes and objects?  
 \item Chapter~\ref{ch:Ldyn} adds \emph{dynamic typing}. Prior to this
   point the input languages are statically typed.  The reader extends
   the statically typed language with an \code{Any} type that serves
   as a target for compiling the dynamically typed language.
-%% {\if\edition\pythonEd\pythonColor
-%% \item Chapter~\ref{ch:Lobject} adds support for \emph{objects} and
-%%   \emph{classes}.
-%% \fi}
 \item Chapter~\ref{ch:Lgrad} uses the \code{Any} type introduced in
   chapter~\ref{ch:Ldyn} to implement a \emph{gradually typed language}
   in which different regions of a program may be static or dynamically
@@ -378,9 +362,6 @@ \chapter*{Preface}
 skipping chapter~\ref{ch:Lwhile} (loops) and including
 chapter~\ref{ch:Llambda} (lambda). The course can be adapted to
 dynamically typed languages by including chapter~\ref{ch:Ldyn}.
-%
-%% \python{A course that emphasizes object-oriented languages would
-%%   include Chapter~\ref{ch:Lobject}.}
 
 This book has been used in compiler courses at California Polytechnic
 State University, Portland State University, Rose–Hulman Institute of
@@ -23892,7 +23873,6 @@ \section{x86 Instruction Set Quick Reference}
 \end{tabular}
 \end{table}
 
-
 \backmatter
 \addtocontents{toc}{\vspace{11pt}}