Merge pull request #247 from MatthewFluet/pre-201802-release

Pre 201802 release
MLton · Feb 7, 2018 · dc01cdc · dc01cdc
2 parents c9dcd2f + 0fe3769
commit dc01cdc
Show file tree

Hide file tree

Showing 6 changed files with 25 additions and 27 deletions.
diff --git a/doc/guide/src/Bugs20180206.adoc b/doc/guide/src/Bugs20180206.adoc
diff --git a/doc/guide/src/Bugs20180207.adoc b/doc/guide/src/Bugs20180207.adoc
@@ -0,0 +1,5 @@
+Bugs20180207
+============
+
+Here are the known bugs in <:Release20180207:MLton 20180207>, listed
+in reverse chronological order of date reported.
diff --git a/doc/guide/src/Contact.adoc b/doc/guide/src/Contact.adoc
@@ -11,7 +11,6 @@ MLton user community discussion
 +
 --
 * https://lists.sourceforge.net/lists/listinfo/mlton-user[subscribe]
-* http://news.gmane.org/gmane.comp.lang.ml.mlton.user[archive (Gmane; current)],
 https://sourceforge.net/mailarchive/forum.php?forum_name=mlton-user[archive (SourceForge; current)],
 http://www.mlton.org/pipermail/mlton-user/[archive (PiperMail; through 201110)]
 --
@@ -22,7 +21,6 @@ MLton developer community discussion
 +
 --
 * https://lists.sourceforge.net/lists/listinfo/mlton-devel[subscribe]
-* http://news.gmane.org/gmane.comp.lang.ml.mlton.devel[archive (Gmane; current)],
 https://sourceforge.net/mailarchive/forum.php?forum_name=mlton-devel[archive (SourceForge; current)],
 http://www.mlton.org/pipermail/mlton-devel/[archive (PiperMail; through 201110)]
 --
@@ -41,7 +39,7 @@ http://www.mlton.org/pipermail/mlton-commit/[archive (PiperMail; through 201110)
 === Mailing list policies ===
 
 * Both mailing lists are unmoderated.  However, the mailing lists are
-configured them to discard all spam, to hold all non-subscriber posts
+configured to discard all spam, to hold all non-subscriber posts
 for moderation, to accept all subscriber posts, and to admin approve
 subscription requests.  Please contact
 mailto:matthew.fluet@gmail.com[Matthew Fluet] if it appears that your

diff --git a/doc/guide/src/Home.adoc b/doc/guide/src/Home.adoc
@@ -8,7 +8,7 @@ MLton is an open-source, whole-program, optimizing
 
 == What's new? ==
 
-* 20180206: Please try out our latest release, <:Release20180206:MLton 20180206>.
+* 20180207: Please try out our latest release, <:Release20180207:MLton 20180207>.
 
 * 20140730: http://www.cs.rit.edu/%7emtf[Matthew Fluet] and
   http://www.cse.buffalo.edu/%7elziarek[Lukasz Ziarek] have been
@@ -26,7 +26,7 @@ MLton is an open-source, whole-program, optimizing
 * Read about MLton's <:Features:>.
 * Look at <:Documentation:>.
 * See some <:Users:> of MLton.
-* https://sourceforge.net/projects/mlton/files/mlton/20180206[Download] MLton.
+* https://sourceforge.net/projects/mlton/files/mlton/20180207[Download] MLton.
 * Meet the MLton <:Developers:>.
 * Get involved with MLton <:Development:>.
 * User-maintained <:FAQ:>.

diff --git a/doc/guide/src/Release20180206.adoc → doc/guide/src/Release20180207.adoc b/doc/guide/src/Release20180206.adoc → doc/guide/src/Release20180207.adoc
@@ -1,7 +1,7 @@
-Release20180206
+Release20180207
 ===============
 
-Here you can download the latest public release of MLton, version 20180206.
+Here you can download the latest public release of MLton, version 20180207.
 
 == Changes since the last public release ==
 
@@ -72,29 +72,29 @@ Here you can download the latest public release of MLton, version 20180206.
 
 For a complete list of changes and bug fixes since
 <:Release20130715:>, see the
-<!ViewGitFile(mlton,on-20180206-release,CHANGELOG.adoc)> and
+<!ViewGitFile(mlton,on-20180207-release,CHANGELOG.adoc)> and
 <:Bugs20130715:>.
 
-== 20180206 binary packages ==
+== 20180207 binary packages ==
 
 * AMD64 (aka "x86-64" or "x64")
-** http://sourceforge.net/projects/mlton/files/mlton/20180206/mlton-20180206-1.amd64-darwin.gmp-homebrew.tgz[Darwin (.tgz)] 16.7 (Mac OS X Sierra), dynamically linked against <:GnuMP:> in `/usr/local/lib` (suitable for https://brew.sh/[Homebrew] install of <:GnuMP:>)
-** http://sourceforge.net/projects/mlton/files/mlton/20180206/mlton-20180206-1.amd64-darwin.gmp-static.tgz[Darwin (.tgz)] 16.7 (Mac OS X Sierra), statically linked against <:GnuMP:> (but requires <:GnuMP:> for generated executables)
-** http://sourceforge.net/projects/mlton/files/mlton/20180206/mlton-20180206-1.amd64-linux.tgz[Linux], glibc 2.23
-// ** Windows MinGW 32/64 http://sourceforge.net/projects/mlton/files/mlton/20180206/MLton-20180206-1.exe[self-extracting] (28MB) or http://sourceforge.net/projects/mlton/files/mlton/20180206/MLton-20180206-1.msi[MSI] (61MB) installer
+** https://sourceforge.net/projects/mlton/files/mlton/20180207/mlton-20180207-1.amd64-darwin.gmp-homebrew.tgz[Darwin (.tgz)] 16.7 (Mac OS X Sierra), dynamically linked against <:GnuMP:> in `/usr/local/lib` (suitable for https://brew.sh/[Homebrew] install of <:GnuMP:>)
+** https://sourceforge.net/projects/mlton/files/mlton/20180207/mlton-20180207-1.amd64-darwin.gmp-static.tgz[Darwin (.tgz)] 16.7 (Mac OS X Sierra), statically linked against <:GnuMP:> (but requires <:GnuMP:> for generated executables)
+** https://sourceforge.net/projects/mlton/files/mlton/20180207/mlton-20180207-1.amd64-linux.tgz[Linux], glibc 2.23
+// ** Windows MinGW 32/64 https://sourceforge.net/projects/mlton/files/mlton/20180207/MLton-20180207-1.exe[self-extracting] (28MB) or https://sourceforge.net/projects/mlton/files/mlton/20180207/MLton-20180207-1.msi[MSI] (61MB) installer
 // * X86
-// ** http://sourceforge.net/projects/mlton/files/mlton/20180206/mlton-20180206-1.x86-cygwin.tgz[Cygwin] 1.7.5
-// ** http://sourceforge.net/projects/mlton/files/mlton/20180206/mlton-20180206-1.x86-linux.tgz[Linux], glibc 2.23
-// ** http://sourceforge.net/projects/mlton/files/mlton/20180206/mlton-20180206-1.x86-linux.static.tgz[Linux], statically linked
-// ** Windows MinGW 32/64 http://sourceforge.net/projects/mlton/files/mlton/20180206/MLton-20180206-1.exe[self-extracting] (28MB) or http://sourceforge.net/projects/mlton/files/mlton/20180206/MLton-20180206-1.msi[MSI] (61MB) installer
+// ** https://sourceforge.net/projects/mlton/files/mlton/20180207/mlton-20180207-1.x86-cygwin.tgz[Cygwin] 1.7.5
+// ** https://sourceforge.net/projects/mlton/files/mlton/20180207/mlton-20180207-1.x86-linux.tgz[Linux], glibc 2.23
+// ** https://sourceforge.net/projects/mlton/files/mlton/20180207/mlton-20180207-1.x86-linux.static.tgz[Linux], statically linked
+// ** Windows MinGW 32/64 https://sourceforge.net/projects/mlton/files/mlton/20180207/MLton-20180207-1.exe[self-extracting] (28MB) or https://sourceforge.net/projects/mlton/files/mlton/20180207/MLton-20180207-1.msi[MSI] (61MB) installer
 
-== 20180206 source packages ==
+== 20180207 source packages ==
 
- * http://sourceforge.net/projects/mlton/files/mlton/20180206/mlton-20180206.src.tgz[mlton-20180206.src.tgz]
+ * https://sourceforge.net/projects/mlton/files/mlton/20180207/mlton-20180207.src.tgz[mlton-20180207.src.tgz]
 
 == Also see ==
 
-* <:Bugs20180206:>
-* http://www.mlton.org/guide/20180206/[MLton Guide (20180206)].
+* <:Bugs20180207:>
+* http://www.mlton.org/guide/20180207/[MLton Guide (20180207)].
 +
 A snapshot of the MLton website at the time of release.
diff --git a/doc/guide/src/Releases.adoc b/doc/guide/src/Releases.adoc
@@ -3,7 +3,7 @@ Releases
 
 Public releases of MLton:
 
-* <:Release20180206:>
+* <:Release20180207:>
 * <:Release20130715:>
 * <:Release20100608:>
 * <:Release20070826:>