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 % \makeindextrunk
parent
c5a1d40c7c
commit
4e5c1c2e40