diff --git a/hatt.cabal b/hatt.cabal
--- a/hatt.cabal
+++ b/hatt.cabal
@@ -1,6 +1,5 @@
 Name:               hatt
-Version:            1.2.0
-Stability:          experimental
+Version:            1.2.1
 
 Synopsis:           A truth table generator for classical propositional logic.
 Description:        Hatt is a command-line program which prints truth tables
@@ -12,7 +11,7 @@
 Author:             Benedict Eastaugh
 Maintainer:         benedict@eastaugh.net
 Copyright:          (c) 2011 Benedict Eastaugh
-Homepage:           https://github.com/beastaugh/hatt
+Homepage:           http://extralogical.net/projects/hatt
 Category:           Logic
 Cabal-version:      >= 1.6
 
diff --git a/src/hatt.hs b/src/hatt.hs
--- a/src/hatt.hs
+++ b/src/hatt.hs
@@ -27,7 +27,7 @@
                      &= help "Print the truth table for the given expression"
   , interactive = False &= help "Enter interactive mode"
   , pretty      = False &= help "Use Unicode logic symbols"
-  } &= summary "Hatt 1.1.1, (c) Benedict Eastaugh 2011"
+  } &= summary "Hatt 1.2.1, (c) Benedict Eastaugh 2011"
     &= program "hatt"
 
 main :: IO ()
@@ -53,7 +53,7 @@
                cmd <- getLine
                case parseCommand cmd of
                  Exit        -> return ()
-                 Help        -> putStr replHelpText
+                 Help        -> putStr (replHelpText printer)
                                 >> repl mode
                  Pretty      -> putStrLn ppMessage
                                 >> repl (mode {pretty = not isPretty})
@@ -91,8 +91,8 @@
   , "Type `help` if you don't know what to do!"
   ]
 
-replHelpText :: String
-replHelpText = unlines
+replHelpText :: (Expr -> String) -> String
+replHelpText printer = unlines
   [ "Hatt's interactive mode has several commands."
   , ""
   , "help"
@@ -113,20 +113,15 @@
   , "truth table for that expression. Here's an example console session."
   , ""
   , "    > (A | B)"
-  , "    A B | (A ∨ B)"
-  , "    -------------"
-  , "    T T | T"
-  , "    T F | T"
-  , "    F T | T"
-  , "    F F | F"
-  , "    > foobar"
-  , "    Error: parse error at (line 1, column 1):"
-  , "    unexpected \"f\""
-  , "    expecting white space, \"(\" or \"~\""
-  , "   > exit"
-  , ""
+  , indentBy 4 $ truthTableP printer (Disjunction (Variable "A") (Variable "B"))
+ ++ "> foobar\n"
+ ++ eval printer "foobar"
+ ++ "> exit"
   , "If none of this makes any sense, try reading the README file."
   ]
 
 selectPrinter :: ProgramMode -> Expr -> String
 selectPrinter m = if pretty m then show else showAscii
+
+indentBy :: Int -> String -> String
+indentBy n = unlines . map (replicate n ' ' ++) . lines