sml.rst
changeset 1334 9bf0d5a1f0cf
parent 1291 c0985f5705cb
child 1905 fba288d59662
--- a/sml.rst	Fri Jul 13 22:02:58 2012 +0300
+++ b/sml.rst	Fri Jul 13 22:32:19 2012 +0300
@@ -1,4 +1,5 @@
-
+.. -*- coding: utf-8; -*-
+.. include:: HEADER.rst
 
 ==============
  Standard ML.