From f5c1b3f69e0bcbbe9077f110bd572429c733e452 Mon Sep 17 00:00:00 2001
From: Matthew Fluet <matthew.fluet@gmail.com>
Date: Tue, 21 Jul 2020 21:07:15 -0400
Subject: [PATCH 1/9] Use and build `mllex.tex` (including `ml-lex.tex`)

---
 Makefile             | 2 +-
 mllex/Makefile       | 8 ++++----
 mllex/doc/.gitignore | 6 ++++++
 mllex/doc/mllex.tex  | 1 +
 4 files changed, 12 insertions(+), 5 deletions(-)
 create mode 100644 mllex/doc/mllex.tex

diff --git a/Makefile b/Makefile
index 42d9fe0dd5..fea5847d41 100644
--- a/Makefile
+++ b/Makefile
@@ -458,7 +458,7 @@ install-docs:
 source-release:
 	$(MAKE) clean
 	$(MAKE) MLTON_VERSION=$(MLTON_VERSION) version
-	( cd "$(SRC)/mllex" ; latexmk -pdf lexgen ; latexmk -c lexgen )
+	( cd "$(SRC)/mllex/doc" ; latexmk -pdf mllex ; latexmk -c mllex )
 	$(MAKE) -C "$(SRC)/mllex" mllex.pdf
 	( cd "$(SRC)/mlyacc/doc"; latexmk -pdf mlyaccc ; latexmk -c mlyacc )
 	$(MAKE) -C "$(SRC)/mlyacc" mlyacc.pdf
diff --git a/mllex/Makefile b/mllex/Makefile
index bc87ba9bd8..9e6af697fc 100644
--- a/mllex/Makefile
+++ b/mllex/Makefile
@@ -27,11 +27,11 @@ clean:
 
 PDFLATEX := pdflatex
 
-doc/ml-lex.pdf:
-	$(MAKE) -C doc ml-lex.pdf
+doc/mllex.pdf:
+	$(MAKE) -C doc mllex.pdf
 
-mllex.pdf: doc/ml-lex.pdf
-	$(CP) doc/ml-lex.pdf mllex.pdf
+mllex.pdf: doc/mllex.pdf
+	$(CP) doc/mllex.pdf mllex.pdf
 
 DOCS :=
 ifneq ($(shell which $(PDFLATEX) 2> /dev/null),)
diff --git a/mllex/doc/.gitignore b/mllex/doc/.gitignore
index fa4e3aad02..885f9c59d0 100644
--- a/mllex/doc/.gitignore
+++ b/mllex/doc/.gitignore
@@ -4,3 +4,9 @@
 /ml-lex.pdf
 /ml-lex.ps
 /ml-lex.toc
+/mllex.aux
+/mllex.dvi
+/mllex.log
+/mllex.pdf
+/mllex.ps
+/mllex.toc
diff --git a/mllex/doc/mllex.tex b/mllex/doc/mllex.tex
new file mode 100644
index 0000000000..e48a87ef7f
--- /dev/null
+++ b/mllex/doc/mllex.tex
@@ -0,0 +1 @@
+\input{ml-lex}

From a3459e02074a8b00c64ef3238f2e4535f673fdc0 Mon Sep 17 00:00:00 2001
From: Matthew Fluet <matthew.fluet@gmail.com>
Date: Tue, 21 Jul 2020 21:26:41 -0400
Subject: [PATCH 2/9] Fix Asciidoc markup in `SplitTypes.adoc`

---
 doc/guide/src/SplitTypes.adoc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/guide/src/SplitTypes.adoc b/doc/guide/src/SplitTypes.adoc
index 1a0bc2162b..ac6eb63697 100644
--- a/doc/guide/src/SplitTypes.adoc
+++ b/doc/guide/src/SplitTypes.adoc
@@ -1,5 +1,5 @@
 SplitTypes
-================
+==========
 
 <:SplitTypes:> is an optimization pass for the <:SSA:> <:IntermediateLanguage:>,
 invoked from <:SSASimplify:>.

From bcd2eec1195bf67b525906844ad7c5f62f41db65 Mon Sep 17 00:00:00 2001
From: Matthew Fluet <matthew.fluet@gmail.com>
Date: Tue, 21 Jul 2020 21:39:38 -0400
Subject: [PATCH 3/9] Update InclGitFile.py to python3

---
 doc/guide/bin/InclGitFile.py | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/doc/guide/bin/InclGitFile.py b/doc/guide/bin/InclGitFile.py
index 56743619a2..ae99403521 100755
--- a/doc/guide/bin/InclGitFile.py
+++ b/doc/guide/bin/InclGitFile.py
@@ -1,7 +1,7 @@
-#!/usr/bin/env python
+#!/usr/bin/env python3
 
 import sys
-import urllib
+import urllib.request
 import re
 
 i = 1
@@ -12,7 +12,7 @@
 src = sys.argv[i]
 i += 1
 url = 'https://raw.github.com/MLton/' + repo + '/' + branch + '/' + src
-response = urllib.urlopen(url)
+response = urllib.request.urlopen(url)
 buff = response.readlines()
 
 if len(sys.argv) > i:
@@ -30,5 +30,5 @@
         i += 1
     buff = newbuff
 
-sys.stdout.writelines(buff)
+sys.stdout.buffer.writelines(buff)
 sys.stdout.flush()

From 62c756039977f6e19183705e020b811539421a8f Mon Sep 17 00:00:00 2001
From: Matthew Fluet <matthew.fluet@gmail.com>
Date: Tue, 21 Jul 2020 22:12:25 -0400
Subject: [PATCH 4/9] Fix `source-release` target in `Makefile`

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index fea5847d41..ca0773e082 100644
--- a/Makefile
+++ b/Makefile
@@ -460,7 +460,7 @@ source-release:
 	$(MAKE) MLTON_VERSION=$(MLTON_VERSION) version
 	( cd "$(SRC)/mllex/doc" ; latexmk -pdf mllex ; latexmk -c mllex )
 	$(MAKE) -C "$(SRC)/mllex" mllex.pdf
-	( cd "$(SRC)/mlyacc/doc"; latexmk -pdf mlyaccc ; latexmk -c mlyacc )
+	( cd "$(SRC)/mlyacc/doc"; latexmk -pdf mlyacc ; latexmk -c mlyacc )
 	$(MAKE) -C "$(SRC)/mlyacc" mlyacc.pdf
 	$(MAKE) -C doc/guide
 	$(TAR) cvzf ../mlton-$(MLTON_VERSION).src.tgz \

From a54c594cdb0a94bf427791f08852c31492258412 Mon Sep 17 00:00:00 2001
From: Matthew Fluet <matthew.fluet@gmail.com>
Date: Wed, 22 Jul 2020 09:03:28 -0400
Subject: [PATCH 5/9] Use `HAVE_CMD` in `doc/guide/Makefile`

---
 doc/guide/Makefile | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/doc/guide/Makefile b/doc/guide/Makefile
index 2336f4a007..8a560eeae4 100644
--- a/doc/guide/Makefile
+++ b/doc/guide/Makefile
@@ -8,7 +8,7 @@ export LC_ALL = C
 NULL :=
 
 ASCIIDOC := asciidoc
-ifneq ($(shell which $(ASCIIDOC) 2> /dev/null),)
+ifeq (true, $(call HAVE_CMD,$(ASCIIDOC)))
 ASCIIDOC_CONF_DIR := $(shell $(ASCIIDOC) -v /dev/null 2>&1 | head -n 1 | sed 's|.*reading: \(.*\)/asciidoc.conf|\1|')
 else
 ASCIIDOC_CONF_DIR :=
@@ -45,11 +45,11 @@ LOCALHOST_TORM := $(filter-out $(LOCALHOST),$(shell if [ -d localhost ]; then fi
 
 
 ALL :=
-ifneq ($(shell which $(ASCIIDOC) 2> /dev/null),)
-ifneq ($(shell which pygmentize 2> /dev/null),)
+ifeq (true, $(call HAVE_CMD,$(ASCIIDOC)))
+ifeq (true, $(call HAVE_CMD,pygmentize))
 ALL += $(LOCALHOST) localhost-rm
 endif
-ifneq ($(shell which $(DBLATEX) 2> /dev/null),)
+ifeq (true, $(call HAVE_CMD,$(DBLATEX)))
 ALL += mlton-guide.pdf
 endif
 endif
@@ -58,10 +58,10 @@ endif
 all: $(ALL)
 
 
-ifneq ($(shell which gm 2> /dev/null),)
+ifeq (true, $(call HAVE_CMD,gm))
 CONVERT := gm convert
 else
-ifneq ($(shell which convert 2> /dev/null),)
+ifeq (true, $(call HAVE_CMD,convert))
 CONVERT := convert
 else
 CONVERT := no-convert

From c55aabb819afa9e3483d73593e33bcbc63e11097 Mon Sep 17 00:00:00 2001
From: Matthew Fluet <matthew.fluet@gmail.com>
Date: Wed, 22 Jul 2020 09:06:44 -0400
Subject: [PATCH 6/9] Omit `.pdf` docs from source and binary releases

---
 Makefile           | 15 ---------------
 doc/guide/Makefile |  3 ---
 2 files changed, 18 deletions(-)

diff --git a/Makefile b/Makefile
index ca0773e082..8e8975ac31 100644
--- a/Makefile
+++ b/Makefile
@@ -90,8 +90,6 @@ dirs:
 
 .PHONY: docs
 docs:
-	$(MAKE) -C "$(SRC)/mllex" docs
-	$(MAKE) -C "$(SRC)/mlyacc" docs
 	$(MAKE) -C "$(SRC)/doc/guide"
 
 define LIBRARIES_NO_CHECK_TEMPLATE
@@ -433,15 +431,6 @@ install-docs:
 	if [ -d "$(SRC)/doc/guide/localhost" ]; then			\
 		$(CP) "$(SRC)/doc/guide/localhost" "$(TDOC)/guide";	\
 	fi
-	if [ -r "$(SRC)/doc/guide/mlton-guide.pdf" ]; then		\
-		$(CP) "$(SRC)/doc/guide/mlton-guide.pdf" "$(TDOC)/";	\
-	fi
-	if [ -r "mllex/mllex.pdf" ]; then				\
-		$(CP) "mllex/mllex.pdf" "$(TDOC)/";			\
-	fi
-	if [ -r "mlyacc/mlyacc.pdf" ]; then				\
-		$(CP) "mlyacc/mlyacc.pdf" "$(TDOC)/";			\
-	fi
 	(								\
 		cd "$(SRC)/util" &&					\
 		$(FIND) cm2mlb -type f '!' -name .gitignore		\
@@ -458,10 +447,6 @@ install-docs:
 source-release:
 	$(MAKE) clean
 	$(MAKE) MLTON_VERSION=$(MLTON_VERSION) version
-	( cd "$(SRC)/mllex/doc" ; latexmk -pdf mllex ; latexmk -c mllex )
-	$(MAKE) -C "$(SRC)/mllex" mllex.pdf
-	( cd "$(SRC)/mlyacc/doc"; latexmk -pdf mlyacc ; latexmk -c mlyacc )
-	$(MAKE) -C "$(SRC)/mlyacc" mlyacc.pdf
 	$(MAKE) -C doc/guide
 	$(TAR) cvzf ../mlton-$(MLTON_VERSION).src.tgz \
 		--exclude .git --exclude package \
diff --git a/doc/guide/Makefile b/doc/guide/Makefile
index 8a560eeae4..6e3e94442d 100644
--- a/doc/guide/Makefile
+++ b/doc/guide/Makefile
@@ -49,9 +49,6 @@ ifeq (true, $(call HAVE_CMD,$(ASCIIDOC)))
 ifeq (true, $(call HAVE_CMD,pygmentize))
 ALL += $(LOCALHOST) localhost-rm
 endif
-ifeq (true, $(call HAVE_CMD,$(DBLATEX)))
-ALL += mlton-guide.pdf
-endif
 endif
 
 

From df8291cb064236f9cdea5441f4d85752bd80f176 Mon Sep 17 00:00:00 2001
From: Matthew Fluet <matthew.fluet@gmail.com>
Date: Wed, 22 Jul 2020 09:13:10 -0400
Subject: [PATCH 7/9] Add `The History of SML` (HOPLIV) reference

---
 doc/guide/src/References.adoc        | 6 ++++++
 doc/guide/src/StandardMLHistory.adoc | 5 ++++-
 2 files changed, 10 insertions(+), 1 deletion(-)

diff --git a/doc/guide/src/References.adoc b/doc/guide/src/References.adoc
index bd68447af2..5642acbe7f 100644
--- a/doc/guide/src/References.adoc
+++ b/doc/guide/src/References.adoc
@@ -486,6 +486,11 @@ ____
  David MacQueen, Gordon Plotkin, Ravi Sethi.
  <:#POPL:> 1984.
 
+ * <!Anchor(MacQueenEtAl20)>
+ https://doi.org/10.1145/3386336[The History of Standard ML].
+ David MacQueen, Robert Harper, and John Reppy.
+ <:#HOPL:> 2020.
+
  * <!Anchor(Matthews91)>
  http://www.lfcs.inf.ed.ac.uk/reports/91/ECS-LFCS-91-174[A Distributed Concurrent Implementation of Standard ML].
  David Matthews.
@@ -944,6 +949,7 @@ ____
 * <!Anchor(ESOP)> ESOP = European Symposium on Programming
 * <!Anchor(FLOPS)> FLOPS = Symposium on Functional and Logic Programming
 * <!Anchor(FPCA)> FPCA = Conference on Functional Programming Languages and Computer Architecture
+* <!Anchor(HOPL)> HOPL = History of Programming Languages
 * <!Anchor(HOSC)> HOSC = Higher-Order and Symbolic Computation
 * <!Anchor(IC)> IC = Information and Computation
 * <!Anchor(ICCL)> ICCL = IEEE International Conference on Computer Languages
diff --git a/doc/guide/src/StandardMLHistory.adoc b/doc/guide/src/StandardMLHistory.adoc
index b480ec86eb..1324ac2558 100644
--- a/doc/guide/src/StandardMLHistory.adoc
+++ b/doc/guide/src/StandardMLHistory.adoc
@@ -3,7 +3,10 @@ StandardMLHistory
 
 <:StandardML:Standard ML> grew out of <:ML:> in the early 1980s.
 
-For an excellent overview of SML's history, see Appendix F of the
+For an excellent overview of SML's history, see <!Cite(MacQueenEtAl20,The
+History of Standard ML)>.
+
+For an abbreviated overview of SML's history, see Appendix F of the
 <:DefinitionOfStandardML:Definition>.
 
 For an overview if its history before 1982, see <!Cite(Milner82, How

From 4f300a8055b10ef4b3ca1227203f6edc257a1cc5 Mon Sep 17 00:00:00 2001
From: Matthew Fluet <matthew.fluet@gmail.com>
Date: Wed, 22 Jul 2020 10:43:58 -0400
Subject: [PATCH 8/9] Add `-{gmp,math}-link-opt <opt>` expert options

This makes it somewhat easier to produce executables statically linked
to GMP, by running `mlton -gmp-link-opt /usr/lib/libgmp.a hello.sml`.
---
 bin/mlton-script    |  1 -
 mlton/main/main.fun | 12 +++++++++++-
 2 files changed, 11 insertions(+), 2 deletions(-)

diff --git a/bin/mlton-script b/bin/mlton-script
index 8acf56a9fb..2e9f0d78d8 100644
--- a/bin/mlton-script
+++ b/bin/mlton-script
@@ -83,7 +83,6 @@ doit "$lib" \
         -cc-opt '-foptimize-sibling-calls'                       \
         -cc-opt '-w'                                             \
         -cc-opt-quote "-I$lib/include"                           \
-        -link-opt '-lm -lgmp'                                    \
         $gmpCCOpts $gmpLinkOpts                                  \
         -llvm-llc-opt '-O2'                                      \
         -llvm-opt-opt '-mem2reg -O2'                             \
diff --git a/mlton/main/main.fun b/mlton/main/main.fun
index 8deec28331..0890f51230 100644
--- a/mlton/main/main.fun
+++ b/mlton/main/main.fun
@@ -62,6 +62,8 @@ val cc: string list ref = ref ["cc"]
 val arScript: string ref = ref "<unset>"
 val asOpts: {opt: string, pred: OptPred.t} list ref = ref []
 val ccOpts: {opt: string, pred: OptPred.t} list ref = ref []
+val mathLinkOpt: string ref = ref "-lm"
+val gmpLinkOpt: string ref = ref "-lgmp"
 val linkOpts: {opt: string, pred: OptPred.t} list ref = ref []
 val llvm_as: string ref = ref "llvm-as"
 val llvm_asOpts: {opt: string, pred: OptPred.t} list ref = ref []
@@ -471,6 +473,9 @@ fun makeOptions {usage} =
         boolRef globalizeSmallIntInf),
        (Expert, "globalize-small-type", " {0|1|2|3|4|9}", "globalize small type",
         intRef globalizeSmallType),
+       (Expert, "gmp-link-opt", " <opt>", "link option for GMP library",
+        (SpaceString o tokenizeOpt)
+        (fn s => gmpLinkOpt := s)),
        (Normal, "ieee-fp", " {false|true}", "use strict IEEE floating-point",
         boolRef Native.IEEEFP),
        (Expert, "indentation", " <n>", "indentation level in ILs",
@@ -621,6 +626,9 @@ fun makeOptions {usage} =
             else usage (concat ["invalid -loop-unswitch-limit: ", Int.toString i]))),
        (Expert, "mark-cards", " {true|false}", "mutator marks cards",
         boolRef markCards),
+       (Expert, "math-link-opt", " <opt>", "link option for math library",
+        (SpaceString o tokenizeOpt)
+        (fn s => mathLinkOpt := s)),
        (Expert, "max-function-size", " <n>", "max function size (blocks)",
         intRef maxFunctionSize),
        (Normal, "mlb-path-map", " <file>", "additional MLB path map",
@@ -1139,7 +1147,9 @@ fun commandLine (args: string list): unit =
       val ccOpts = addTargetOpts ccOpts
       val linkOpts = addTargetOpts linkOpts
       val linkOpts =
-         List.map (["mlton", "gdtoa"], fn lib => "-l" ^ mkLibName lib) @ linkOpts
+         List.map (["mlton", "gdtoa"], fn lib => "-l" ^ mkLibName lib)
+         @ [!mathLinkOpt, !gmpLinkOpt]
+         @ linkOpts
       val linkOpts = ("-L" ^ targetLibDir) :: linkOpts
 
       val linkArchives =

From a9bdfc8ed0782f2302910e3fc42d68a27d405254 Mon Sep 17 00:00:00 2001
From: Matthew Fluet <matthew.fluet@gmail.com>
Date: Wed, 22 Jul 2020 10:44:47 -0400
Subject: [PATCH 9/9] Create and update pages for 20200722 release

---
 CHANGELOG.adoc                      |  4 +-
 doc/guide/src/Bugs20200722.adoc     |  5 ++
 doc/guide/src/Home.adoc             |  4 +-
 doc/guide/src/Release20180207.adoc  |  2 +-
 doc/guide/src/Release20200722.adoc  | 80 +++++++++++++++++++++++++++++
 doc/guide/src/ReleaseChecklist.adoc |  1 -
 doc/guide/src/Releases.adoc         |  1 +
 man/mllex.1                         |  2 +-
 man/mlnlffigen.1                    |  2 +-
 man/mlprof.1                        |  2 +-
 man/mlton.1                         |  2 +-
 man/mlyacc.1                        |  2 +-
 12 files changed, 97 insertions(+), 10 deletions(-)
 create mode 100644 doc/guide/src/Bugs20200722.adoc
 create mode 100644 doc/guide/src/Release20200722.adoc

diff --git a/CHANGELOG.adoc b/CHANGELOG.adoc
index 1f84daa88d..02f245640e 100644
--- a/CHANGELOG.adoc
+++ b/CHANGELOG.adoc
@@ -1,8 +1,8 @@
 = CHANGELOG
 
-== Version YYYYMMDD
+== Version 20200722
 
-Here are the changes from version 20180206 to version YYYYMMDD.
+Here are the changes from version 20180206 to version 20200722.
 
 === Summary
 
diff --git a/doc/guide/src/Bugs20200722.adoc b/doc/guide/src/Bugs20200722.adoc
new file mode 100644
index 0000000000..9c7cfc374c
--- /dev/null
+++ b/doc/guide/src/Bugs20200722.adoc
@@ -0,0 +1,5 @@
+Bugs20200722
+============
+
+Here are the known bugs in <:Release20200722:MLton 20200722>, listed
+in reverse chronological order of date reported.
diff --git a/doc/guide/src/Home.adoc b/doc/guide/src/Home.adoc
index 2eed2f0f1b..c35bbb88fb 100644
--- a/doc/guide/src/Home.adoc
+++ b/doc/guide/src/Home.adoc
@@ -17,6 +17,8 @@ a lexer generator, a parser generator, and a profiler.
 
 == What's new? ==
 
+* 20200722: Please try out our latest release, <:Release20200722:MLton 20200722>.
+
 * 20180207: Please try out our latest release, <:Release20180207:MLton 20180207>.
 
 * 20140730: http://www.cs.rit.edu/%7emtf[Matthew Fluet] and
@@ -36,7 +38,7 @@ a lexer generator, a parser generator, and a profiler.
 * Read about MLton's <:Features:>.
 * Look at <:Documentation:>.
 * See some <:Users:> of MLton.
-* https://sourceforge.net/projects/mlton/files/mlton/20180207[Download] MLton.
+* Download MLton from https://sourceforge.net/projects/mlton/files/mlton/20200722[SourceForge] or https://github.com/MLton/mlton/releases/tag/on-20200722-release[GitHub].
 * Meet the MLton <:Developers:>.
 * Get involved with MLton <:Development:>.
 * User-maintained <:FAQ:>.
diff --git a/doc/guide/src/Release20180207.adoc b/doc/guide/src/Release20180207.adoc
index 1135c2ee16..7cf700f600 100644
--- a/doc/guide/src/Release20180207.adoc
+++ b/doc/guide/src/Release20180207.adoc
@@ -1,7 +1,7 @@
 Release20180207
 ===============
 
-Here you can download the latest public release of MLton, version 20180207.
+This is an archived public release of MLton, version 20180207.
 
 == Changes since the last public release ==
 
diff --git a/doc/guide/src/Release20200722.adoc b/doc/guide/src/Release20200722.adoc
new file mode 100644
index 0000000000..2b8fd7343e
--- /dev/null
+++ b/doc/guide/src/Release20200722.adoc
@@ -0,0 +1,80 @@
+Release20200722
+===============
+
+Here you can download the latest public release of MLton, version 20200722.
+
+== Changes since the last public release ==
+
+* Compiler.
+  ** Added expert `-pi-style {default|npi|pic|pie}` and
+  `-native-pic {false|true}` options, which can be used to override a
+  target-determined default.
+  ** Fix a number of instances of excessive live data during
+  compilation.
+  ** Disable `Zone` SSA optimization pass by default; the `Zone` pass
+  is known to not be safe-for-space.
+  ** Statically allocate and initialize some global objects.
+  ** Many updates and improvements to C and LLVM codegens.
+  ** Add new `BounceVars` RSSA optimization pass to split the live
+  ranges of RSSA variables.
+  ** Improve `RssaShrink` optimization.
+  ** Add support for alternate globalization strategies in
+  `ConstantPropagation`.
+  ** Strengthen `Useless` optimization with respect to a number of
+  primitives.
+  ** Add new `DuplicateGlobals` and `SplitTypes` SSA optimization
+  passes.
+  ** Introduce new `Overflow`-checking primitives and remove old
+  `Overflow`-checking primitives and special-case code required (e.g.,
+  `Arith` transfers in IRs) to support them.
+  ** Add parsers for XML, SXML, SSA, and SSA2 IRs.
+* Runtime.
+  ** Detect and report incompatible use of ASLR/PIE on `load-world`.
+  ** Added support for RISC-V architecture.
+* Language.
+* Libraries.
+  ** Basis Library.
+    *** Change `OS.IO.poll` to not be restarted when interrupted by a
+    signal.  (This is consistent with `Socket.select`.)
+    *** Add `MLton.sizeAll: unit -> IntInf.int` that returns the size
+    of reachable live data.
+    *** Change type of `MLton.size` from `'a -> int` to
+    `'a -> IntInf.int`, because with 64-bit systems, the size of a
+    single object can exceed that representable by a signed 32-bit
+    integer.
+  ** Other libraries.
+    *** Updated: ckit library, MLLPT library, MLRISC library, SML/NJ library
+* Tools.
+* Other.
+  ** Updates to simplify porting MLton.
+  ** Support parallel build (i.e., `make -j`).  This mainly supports
+  platforms/packagers that use a parallel `make` by default; it does
+  not obtain significant build speedups.
+  ** Various updates to ``Makefile``s.  See `Makefile.config` for
+  common and user-customizable configuration.
+  ** Characterize MLton-LICENSE as an instance of the Historical
+  Permission Notice and Disclaimer (HPND) license, rather than
+  BSD-style.
+
+For a complete list of changes and bug fixes since
+<:Release20180207:>, see the
+<!ViewGitFile(mlton,on-20200722-release,CHANGELOG.adoc)> and
+<:Bugs20180297:>.
+
+== 20200722 binary packages ==
+
+* AMD64 (aka "x86-64" or "x64")
+** https://sourceforge.net/projects/mlton/files/mlton/20200722/mlton-20200722-1.amd64-darwin.gmp-homebrew.tgz[Darwin (.tgz)] 17.7 (Mac OS X High Sierra), dynamically linked against <:GMP:> in `/usr/local/lib` (suitable for https://brew.sh/[Homebrew] install of <:GMP:>)
+** https://sourceforge.net/projects/mlton/files/mlton/20200722/mlton-20200722-1.amd64-darwin.gmp-static.tgz[Darwin (.tgz)] 17.7 (Mac OS X High Sierra), statically linked against <:GMP:> (but requires <:GMP:> for generated executables)
+** https://sourceforge.net/projects/mlton/files/mlton/20200722/mlton-20200722-1.amd64-linux.tgz[Linux], glibc 2.27 (Ubuntu 18.04)
+
+== 20200722 source packages ==
+
+ * https://sourceforge.net/projects/mlton/files/mlton/20200722/mlton-20200722.src.tgz[mlton-20200722.src.tgz]
+
+== Also see ==
+
+* <:Bugs20200722:>
+* http://www.mlton.org/guide/20200722/[MLton Guide (20200722)].
++
+A snapshot of the MLton website at the time of release.
diff --git a/doc/guide/src/ReleaseChecklist.adoc b/doc/guide/src/ReleaseChecklist.adoc
index de0399ecdd..081f0c7ca5 100644
--- a/doc/guide/src/ReleaseChecklist.adoc
+++ b/doc/guide/src/ReleaseChecklist.adoc
@@ -107,7 +107,6 @@ wget http://sourceforge.net/projects/mlton/files/mlton/YYYYMMDD/mlton-YYYYMMDD.s
 tar xzvf mlton-YYYYMMDD.src.tgz
 cd mlton-YYYYMMDD
 make binary-release
-cd ..
 ----
 
 * Upload `mlton-YYYYMMDD-1.ARCH-OS.tgz`:
diff --git a/doc/guide/src/Releases.adoc b/doc/guide/src/Releases.adoc
index 8b10cd3d39..b537ba761d 100644
--- a/doc/guide/src/Releases.adoc
+++ b/doc/guide/src/Releases.adoc
@@ -3,6 +3,7 @@ Releases
 
 Public releases of MLton:
 
+* <:Release20200722:>
 * <:Release20180207:>
 * <:Release20130715:>
 * <:Release20100608:>
diff --git a/man/mllex.1 b/man/mllex.1
index 7401008f72..2ff6bcd053 100644
--- a/man/mllex.1
+++ b/man/mllex.1
@@ -1,4 +1,4 @@
-.TH mllex 1 "February 6, 2018"
+.TH mllex 1 "July 22, 2020"
 .SH NAME
 \fBmllex\fP \- lexer generator for use with Standard ML and MLton
 .SH SYNOPSIS
diff --git a/man/mlnlffigen.1 b/man/mlnlffigen.1
index 5dc293ff6a..df456ba973 100644
--- a/man/mlnlffigen.1
+++ b/man/mlnlffigen.1
@@ -1,4 +1,4 @@
-.TH mlnlffigen 1 "February 6, 2018"
+.TH mlnlffigen 1 "July 22, 2020"
 .SH NAME
 \fBmlnlffigen\fP \- glue-code generator for use with the new "NLFFI" foreign function interface for Standard ML and MLton
 .SH SYNOPSIS
diff --git a/man/mlprof.1 b/man/mlprof.1
index 995561420f..38f5a2ae69 100644
--- a/man/mlprof.1
+++ b/man/mlprof.1
@@ -1,4 +1,4 @@
-.TH mlprof 1 "February 6, 2018"
+.TH mlprof 1 "July 22, 2020"
 .SH NAME
 \fBmlprof\fP \- display profiling information for a MLton-compiled executable
 .SH SYNOPSIS
diff --git a/man/mlton.1 b/man/mlton.1
index b5a456ad23..5f0138edfe 100644
--- a/man/mlton.1
+++ b/man/mlton.1
@@ -1,4 +1,4 @@
-.TH mlton 1 "February 6, 2018"
+.TH mlton 1 "July 22, 2020"
 .SH NAME
 \fBmlton\fP \- whole-program compiler for the Standard ML (SML) programming
 language
diff --git a/man/mlyacc.1 b/man/mlyacc.1
index 14f4e5edd9..76360f7466 100644
--- a/man/mlyacc.1
+++ b/man/mlyacc.1
@@ -1,4 +1,4 @@
-.TH mlyacc 1 "February 6, 2018"
+.TH mlyacc 1 "July 22, 2020"
 .SH NAME
 \fBmlyacc\fP \- parser generator for use with Standard ML and MLton
 .SH SYNOPSIS