[MLton-commit] [MLton/mlton] 4b8ce4: Add NSF CRI award as a homepage news item.

[GitHub <no...@gi...>]

  Branch: refs/heads/master
  Home:   https://github.com/MLton/mlton
  Commit: 4b8ce4ce38434d293164259313dec138212d287b
      https://github.com/MLton/mlton/commit/4b8ce4ce38434d293164259313dec138212d287b
  Author: Matthew Fluet <mat...@gm...>
  Date:   2014-10-08 (Wed, 08 Oct 2014)

  Changed paths:
    M doc/guide/src/Home.adoc

  Log Message:
  -----------
  Add NSF CRI award as a homepage news item.


  Commit: b3733cb2726b145be8f251a298f0112597c72193
      https://github.com/MLton/mlton/commit/b3733cb2726b145be8f251a298f0112597c72193
  Author: Matthew Fluet <mat...@gm...>
  Date:   2014-10-20 (Mon, 20 Oct 2014)

  Changed paths:
    M doc/guide/src/Home.adoc

  Log Message:
  -----------
  Escape tildes in URLs (to avoid misinterpretation as subscript).


  Commit: feb07b4709a51c6ef65e7935920404d8d01480db
      https://github.com/MLton/mlton/commit/feb07b4709a51c6ef65e7935920404d8d01480db
  Author: Matthew Fluet <Mat...@gm...>
  Date:   2014-10-20 (Mon, 20 Oct 2014)

  Changed paths:
    M doc/guide/src/Home.adoc

  Log Message:
  -----------
  Merge pull request #78 from MatthewFluet/guide-updates

Update Home.adoc.

Add NSF CRI award as a homepage news item.


Compare: https://github.com/MLton/mlton/compare/28fa5542529a...feb07b4709a5