diff --git a/GraphRewriting/GL/UI.hs b/GraphRewriting/GL/UI.hs
--- a/GraphRewriting/GL/UI.hs
+++ b/GraphRewriting/GL/UI.hs
@@ -16,7 +16,7 @@
 -- - Press space to pause/resume layouting. Currently layouting is automatically resumed when the graph is rewritten by right-clicking on an individual node and not when right-clicking on a menu entry. This also requires the mouse cursor to be positioned in the canvas area.
 --
 -- Please have a look the graph-rewriting-ski package for an example application that makes use of this library.
-module GraphRewriting.GL.UI (module GraphRewriting.GL.UI, LabelledTree (..)) where
+module GraphRewriting.GL.UI (module GraphRewriting.GL.UI, LabelledTree (..), showLabelledTree) where
 
 import qualified Graphics.UI.GLUT as GL
 import Graphics.UI.GLUT (($=), get)
@@ -80,15 +80,3 @@
 	GL.mainLoop
 	GL.exit
 	return ()
-
---reduceAll :: IORef (GlobalVars n) -> Graph n -> RuleTree n -> IO (RuleTree n)
---reduceAll globalVars g ruleTree = do
---	let ns = evalGraph readNodeList g
---	applyLeafRules 0 globalVars
---	gvs <- readIORef globalVars
---	let g' = graph gvs
---	    ruleTree' = getRules gvs
---	    ns' = evalGraph readNodeList g'
---	if ruleTree == ruleTree'
---		then return ruleTree'
---		else reduceAll globalVars g' ruleTree'
diff --git a/graph-rewriting-gl.cabal b/graph-rewriting-gl.cabal
--- a/graph-rewriting-gl.cabal
+++ b/graph-rewriting-gl.cabal
@@ -1,5 +1,5 @@
 Name:           graph-rewriting-gl
-Version:        0.7
+Version:        0.7.1
 Copyright:      (c) 2010, Jan Rochel
 License:        BSD3
 License-File:   LICENSE