tips: sml.rst@ccaa2f364422 (annotated)

1334 9bf0d5a1f0cf Include common header with quick links. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 1291 diff changeset	1	.. -- coding: utf-8; --
1291 c0985f5705cb About Standard ML. Oleksandr Gavenko <gavenkoa@gmail.com> parents: diff changeset	2
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	Standard ML.
c0985f5705cb About Standard ML. Oleksandr Gavenko <gavenkoa@gmail.com> parents: diff changeset	5	==============
c0985f5705cb About Standard ML. Oleksandr Gavenko <gavenkoa@gmail.com> parents: diff changeset	6	.. contents::
1905 fba288d59662 Include only local subsections into TOC. This prevent duplication of Oleksandr Gavenko <gavenkoa@gmail.com> parents: 1334 diff changeset	7	:local:
1291 c0985f5705cb About Standard ML. Oleksandr Gavenko <gavenkoa@gmail.com> parents: diff changeset	8
c0985f5705cb About Standard ML. Oleksandr Gavenko <gavenkoa@gmail.com> parents: diff changeset	9	Implementation.
c0985f5705cb About Standard ML. Oleksandr Gavenko <gavenkoa@gmail.com> parents: diff changeset	10	===============
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	http://www.standardml.org/
c0985f5705cb About Standard ML. Oleksandr Gavenko <gavenkoa@gmail.com> parents: diff changeset	13	Implementations of Standard ML
c0985f5705cb About Standard ML. Oleksandr Gavenko <gavenkoa@gmail.com> parents: diff changeset	14	http://www.polyml.org/
c0985f5705cb About Standard ML. Oleksandr Gavenko <gavenkoa@gmail.com> parents: diff changeset	15	Poly/ML
c0985f5705cb About Standard ML. Oleksandr Gavenko <gavenkoa@gmail.com> parents: diff changeset	16	http://www.smlnj.org/
c0985f5705cb About Standard ML. Oleksandr Gavenko <gavenkoa@gmail.com> parents: diff changeset	17	Standard ML of New Jersey (SML/NJ)
c0985f5705cb About Standard ML. Oleksandr Gavenko <gavenkoa@gmail.com> parents: diff changeset	18	http://www.itu.dk/people/sestoft/mosml.html
c0985f5705cb About Standard ML. Oleksandr Gavenko <gavenkoa@gmail.com> parents: diff changeset	19	Moscow ML
c0985f5705cb About Standard ML. Oleksandr Gavenko <gavenkoa@gmail.com> parents: diff changeset	20
c0985f5705cb About Standard ML. Oleksandr Gavenko <gavenkoa@gmail.com> parents: diff changeset	21	libs.
c0985f5705cb About Standard ML. Oleksandr Gavenko <gavenkoa@gmail.com> parents: diff changeset	22	=====
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	http://mgtk.sourceforge.net/
c0985f5705cb About Standard ML. Oleksandr Gavenko <gavenkoa@gmail.com> parents: diff changeset	25	GTK+ bindings.
c0985f5705cb About Standard ML. Oleksandr Gavenko <gavenkoa@gmail.com> parents: diff changeset	26

author	Oleksandr Gavenko <gavenkoa@gmail.com>
	Mon, 30 Jan 2017 00:44:30 +0200
changeset 2075	ccaa2f364422
parent 1912	8b81a8f0f692
child 2228	837f1337c59b
permissions	-rw-r--r--