tips: sml.rst@6f6d48f88341 (annotated)

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

author	Oleksandr Gavenko <gavenkoa@gmail.com>
	Mon, 22 Feb 2016 13:01:02 +0200
changeset 1906	6f6d48f88341
parent 1905	fba288d59662
child 1912	8b81a8f0f692
permissions	-rw-r--r--