sml.rst
author Oleksandr Gavenko <gavenkoa@gmail.com>
Mon, 22 Feb 2016 12:46:36 +0200
changeset 1905 fba288d59662
parent 1334 9bf0d5a1f0cf
child 1912 8b81a8f0f692
permissions -rw-r--r--
Include only local subsections into TOC. This prevent duplication of TOC when build single page HTML document. Also this make unnecessary CSS hack to hide document title as top level section.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1334
9bf0d5a1f0cf Include common header with quick links.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 1291
diff changeset
     1
.. -*- coding: utf-8; -*-
9bf0d5a1f0cf Include common header with quick links.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 1291
diff changeset
     2
.. include:: HEADER.rst
1291
c0985f5705cb About Standard ML.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
     3
c0985f5705cb About Standard ML.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
     4
==============
c0985f5705cb About Standard ML.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
     5
 Standard ML.
c0985f5705cb About Standard ML.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
     6
==============
c0985f5705cb About Standard ML.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
     7
.. contents::
1905
fba288d59662 Include only local subsections into TOC. This prevent duplication of
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 1334
diff changeset
     8
   :local:
1291
c0985f5705cb About Standard ML.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
     9
c0985f5705cb About Standard ML.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    10
Implementation.
c0985f5705cb About Standard ML.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    11
===============
c0985f5705cb About Standard ML.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    12
c0985f5705cb About Standard ML.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    13
  http://www.standardml.org/
c0985f5705cb About Standard ML.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    14
                Implementations of Standard ML
c0985f5705cb About Standard ML.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    15
  http://www.polyml.org/
c0985f5705cb About Standard ML.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    16
                Poly/ML
c0985f5705cb About Standard ML.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    17
  http://www.smlnj.org/
c0985f5705cb About Standard ML.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    18
                Standard ML of New Jersey (SML/NJ)
c0985f5705cb About Standard ML.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    19
  http://www.itu.dk/people/sestoft/mosml.html
c0985f5705cb About Standard ML.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    20
                Moscow ML
c0985f5705cb About Standard ML.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    21
c0985f5705cb About Standard ML.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    22
libs.
c0985f5705cb About Standard ML.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    23
=====
c0985f5705cb About Standard ML.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    24
c0985f5705cb About Standard ML.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    25
  http://mgtk.sourceforge.net/
c0985f5705cb About Standard ML.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    26
                GTK+ bindings.
c0985f5705cb About Standard ML.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    27