aDot
/
pdfs
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
10 Commits
1 Branch
0 Tags
53 MiB
Commit Graph

10 Commits (trunk)

Author SHA1 Message Date
Alona Enraght-Moony f22fc66e31 Essentials of compilation 2023-03-30 15:01:27 +01:00
Alona EM 918e1e9d4e Add modified r7rs 
Taken from
https://small.r7rs.org/attachment/r7rs-small-spec.zip

Modified with
diff --git a/r7rs.tex b/r7rs.tex
index d009a46..0f3e47f 100644
--- a/r7rs.tex
+++ b/r7rs.tex
@@ -35,6 +35,13 @@
%% End of sizes and dimensions

\usepackage{hyperref}
+\usepackage{xcolor}
+\hypersetup{
+    colorlinks,
+    linkcolor={red!50!black},
+    citecolor={blue!50!black},
+    urlcolor={blue!80!black}
+}
%% \usepackage{supertabular}

\begin{document}
 2022-12-04 14:19:06 +00:00
Alona EM cfedcfdd5a New Paper (Long Lost) 2022-11-20 23:12:46 +00:00
Alona EM db4db7398e Fix name 2022-11-20 15:37:23 +00:00
Alona EM 308f06d362 String Distances 2022-11-20 01:51:43 +00:00
Alona EM bdaaccb7a4 tex literate 2022-08-05 00:22:05 +01:00
Alona EM 9ee6d9bced Inria SSA Book 2022-07-27 17:16:14 +01:00
Alona EM 4e5c1c2e40 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
 2022-06-09 16:19:07 +01:00
Alona EM c5a1d40c7c Add small c paper 2022-05-12 12:31:14 +01:00
Alona EM 261f6d4938 Lambda papers 2022-01-02 23:37:49 +00:00