tips: sml.rst@1a0b6597e594 (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
2228 837f1337c59b Removed indentation that compiled into <blockquote>. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 1912 diff changeset	12	http://www.standardml.org/
837f1337c59b Removed indentation that compiled into <blockquote>. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 1912 diff changeset	13	Implementations of Standard ML
837f1337c59b Removed indentation that compiled into <blockquote>. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 1912 diff changeset	14	http://www.polyml.org/
837f1337c59b Removed indentation that compiled into <blockquote>. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 1912 diff changeset	15	Poly/ML
837f1337c59b Removed indentation that compiled into <blockquote>. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 1912 diff changeset	16	http://www.smlnj.org/
837f1337c59b Removed indentation that compiled into <blockquote>. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 1912 diff changeset	17	Standard ML of New Jersey (SML/NJ)
837f1337c59b Removed indentation that compiled into <blockquote>. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 1912 diff changeset	18	http://www.itu.dk/people/sestoft/mosml.html
837f1337c59b Removed indentation that compiled into <blockquote>. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 1912 diff changeset	19	Moscow ML
1291 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
2228 837f1337c59b Removed indentation that compiled into <blockquote>. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 1912 diff changeset	24	http://mgtk.sourceforge.net/
837f1337c59b Removed indentation that compiled into <blockquote>. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 1912 diff changeset	25	GTK+ bindings.
1291 c0985f5705cb About Standard ML. Oleksandr Gavenko <gavenkoa@gmail.com> parents: diff changeset	26

author	Oleksandr Gavenko <gavenkoa@gmail.com>
	Sat, 10 Feb 2018 01:36:16 +0200
changeset 2229	1a0b6597e594
parent 2228	837f1337c59b
permissions	-rw-r--r--