From 486c4f75cb34e0c9aa4069fda1595c722da38d07 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Fri, 15 Jul 2011 17:16:39 -0400
Subject: Beautified tutorial HTML

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

(limited to 'doc/intro.ur')

diff --git a/doc/intro.ur b/doc/intro.ur
index 00761ad1..9f0780f2 100644
--- a/doc/intro.ur
+++ b/doc/intro.ur
@@ -1,3 +1,5 @@
+(* Introduction *)
+
 (* Test evaluation.... *)
 
 fun f [a] (x : a) : a = x
-- 
cgit v1.2.3