From 4e5c1c2e40f2377a8f795470312028bdc1988704 Mon Sep 17 00:00:00 2001
From: Nixon Enraght-Moony <nixon.emoony@gmail.com>
Date: Thu, 9 Jun 2022 16:19:07 +0100
Subject: [PATCH] Add SML97

 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
---
 sml97.pdf | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 sml97.pdf

diff --git a/sml97.pdf b/sml97.pdf
new file mode 100644
index 0000000..53bc6c7
--- /dev/null
+++ b/sml97.pdf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:db01507e4a1a579d6e17eb864c1e46bc63fab493d88dde79692967fa143e9c39
+size 504754