Rename, update, and link pages for 20180207 release

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.

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:>.

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.

doc/guide/src/Releases.adoc

@@ -3,7 +3,7 @@ Releases
 
 Public releases of MLton:
 
-* <:Release20180206:>
+* <:Release20180207:>
 * <:Release20130715:>
 * <:Release20100608:>
 * <:Release20070826:>