diff --git a/doc/burro-1.0.html b/doc/burro-1.0.html
index 42e252b..45a26a5 100644
--- a/doc/burro-1.0.html
+++ b/doc/burro-1.0.html
@@ -4,6 +4,10 @@
The Burro Programming Language, version 1.0
+
+
+
+
@@ -12,7 +16,7 @@
October 2007, Chris Pressey, Cat's Eye Technologies.
Note: This document describes version 1.0 of the Burro language. For documentation
-on the latest version of the language, please see burro.html.
+on the latest version of the language, please see Burro.lhs.
1. Introduction
diff --git a/src/Burro.lhs b/src/Burro.lhs
index 5b605a6..a28a7e9 100644
--- a/src/Burro.lhs
+++ b/src/Burro.lhs
@@ -1,4 +1,4 @@
-> -- coding: UTF-8
+-> encoding: UTF-8
The Burro Programming Language
==============================
@@ -41,8 +41,8 @@
the idea that Burro qualifies as universal.
For further background information on the Burro project, you may also wish
-to read the [Burro 1.0 article](burro-1.0.html), with the understanding that
-the language description given there is obsolete.
+to read the [Burro 1.0 article](../doc/burro-1.0.html), with the understanding
+that the language description given there is obsolete.
Changes from Burro 1.0
@@ -111,13 +111,13 @@
> show GoRight = ">"
> show (Test a b) = "(" ++ (show a) ++ "/" ++ (show b) ++ ")"
> show (Seq a b) = (show a) ++ (show b)
->
+>
> parse string =
> let
> (rest, acc) = parseProgram string Null
> in
> trim acc
->
+>
> parseProgram [] acc =
> ([], acc)
> parseProgram ('e':rest) acc =
@@ -145,7 +145,7 @@
> (rest, acc)
> parseProgram (_:rest) acc =
> parseProgram rest acc
->
+>
> trim (Seq Null a) = trim a
> trim (Seq a Null) = trim a
> trim (Seq a b) = Seq (trim a) (trim b)
@@ -202,7 +202,7 @@
> data Tape = Tape [Integer] [Integer]
> deriving (Read)
->
+>
> instance Show Tape where
> show t@(Tape l r) =
> let
@@ -227,7 +227,7 @@
> ensurecell x = x
>
> strip (Tape l r) = Tape (ensurecell (stripzeroes l)) (stripzeroes r)
->
+>
> tapeeq :: Tape -> Tape -> Bool
> tapeeq t1 t2 =
> let
@@ -235,7 +235,7 @@
> (Tape t2l t2r) = strip t2
> in
> (t1l == t2l) && (t1r == t2r)
->
+>
> instance Eq Tape where
> t1 == t2 = tapeeq t1 t2
@@ -275,7 +275,7 @@
> data State = State Tape Tape Bool
> deriving (Show, Read, Eq)
->
+>
> newstate = State (tape [0]) (tape [0]) True