https://github.com/SMLFamily/The-Definition-of-Standard-ML-Revised
c4212f434cafd06669171619f7d332341a5b31f3
diff --git a/root.tex b/root.tex
index 704079e..0d11339 100644
--- a/root.tex
+++ b/root.tex
@@ -2,13 +2,25 @@
%\documentclass[12pt,twoside]{article}
%\usepackage{a4}
\documentclass[12pt]{article}
+\def\MakeUppercaseUnsupportedInPdfStrings{\scshape} %
https://tex.stackexchange.com/a/598876/263647
\title{The Definition of ML\thanks{This document is derived from
Milner, Tofte and Harper: ``The Definition of Standard ML'', MIT
Press, 1990.}}
\author{Mads Tofte (ed.)}
\date{\today}
%\includeonly{mac,syncor}
+\usepackage{hyperref}
+\usepackage{color}
+\usepackage{color} %May be necessary if you want to color
links
+\usepackage{hyperref}
+\hypersetup{
+ colorlinks=true, %set true if you want colored links
+ linktoc=all, %set to all if you want both sections and
subsections linked
+ linkcolor=blue, %choose some color if you want links
to stand out
+}
+
\include{mac} % macros
+
\usepackage{makeidx}
% Disable index printing
% \makeindex