diff --git a/CHANGES b/CHANGES
new file mode 100644
--- /dev/null
+++ b/CHANGES
@@ -0,0 +1,13 @@
+% Changes
+
+PandocAgda 2.3.3.0.1 --> 2.3.3.0.2
+
+-   correct a dependency in cabal file
+-   README and CHANGES files
+
+PandocAgda 2.3.3 --> 2.3.3.0.1
+
+-   correct LICENCE file
+-   correct darcs repo URL
+
+
diff --git a/PandocAgda.cabal b/PandocAgda.cabal
--- a/PandocAgda.cabal
+++ b/PandocAgda.cabal
@@ -1,5 +1,5 @@
 name:            PandocAgda
-version:         2.3.3.0.1
+version:         2.3.3.0.2
 cabal-version:   >= 1.8
 build-type:      Simple
 license:         BSD3
@@ -17,6 +17,8 @@
   Pandoc is a universal document converter.
 tested-with:        GHC == 7.6.1
 extra-source-files: src/full/Agda/undefined.h
+                    README
+                    CHANGES
 data-dir:           src/data
 data-files:         Agda.template
                     Agda.css
@@ -97,7 +99,7 @@
 executable agdapandoc
   hs-source-dirs: src/main
   main-is:        Main.hs
-  build-depends:  PandocAgda == 2.3.3,
+  build-depends:  PandocAgda == 2.3.3.0.2,
                   -- Nothing is used from the following package, except
                   -- for the prelude.
                   base >= 3 && < 6
diff --git a/README b/README
new file mode 100644
--- /dev/null
+++ b/README
@@ -0,0 +1,34 @@
+% Agda Tutorial
+
+Usage
+-----
+
+An online HTML version can be found at
+
+http://people.inf.elte.hu/divip/AgdaTutorial/Index.html
+
+
+Local Builds
+------------
+
+1.  Install the darcs version of the Agda compiler
+2.  Install `agdapandoc` which is
+    a slightly modified version of the Agda compiler.
+
+        cabal install
+
+3.  Generate the html view of the tutorial.
+
+        cd tutorial; make
+
+
+Development
+-----------
+
+This Agda tutorial is under development.
+
+Any contribution is welcome, please send patches to
+divipp@gmail.com
+Please send small patches first.
+
+