From b36a8def513d0fdd96fce220cf1f14409853c7b5 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Fri, 15 Jul 2011 17:31:57 -0400
Subject: Tutorial section headings

---
 doc/intro.ur | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'doc/intro.ur')

diff --git a/doc/intro.ur b/doc/intro.ur
index 2a571068..1bdc6de1 100644
--- a/doc/intro.ur
+++ b/doc/intro.ur
@@ -1,6 +1,6 @@
 (* Introduction *)
 
-(* This work is licensed under a <a href="http://creativecommons.org/licenses/by-nc-nd/3.0/">Creative Commons Attribution-Noncommercial-No Derivative Works 3.0 Unported License</a>. *)
+(* This tutorial is licensed under a <a href="http://creativecommons.org/licenses/by-nc-nd/3.0/">Creative Commons Attribution-Noncommercial-No Derivative Works 3.0 Unported License</a>. *)
 
 (* Test evaluation.... *)
 
@@ -10,4 +10,6 @@ fun f [a] (x : a) : a = x
 f 6
 (* end *)
 
-(* Did it work? *)
+(** Section *)
+
+val y = 9
-- 
cgit v1.2.3