diff --git a/HaLeX.cabal b/HaLeX.cabal
--- a/HaLeX.cabal
+++ b/HaLeX.cabal
@@ -1,5 +1,5 @@
 name:                HaLeX
-version:             1.2.1
+version:             1.2.2
 synopsis:            HaLeX enables modelling, manipulation and animation of regular languages
 description:         This library was developed in the context of a programming methodology course for
                      undergraduate students, and as a consequence, it was defined mainly for educational purposes.
@@ -25,7 +25,6 @@
         extensions:             FlexibleContexts, FlexibleInstances, MultiParamTypeClasses
 
         ghc-options:          -Wall
-        ghc-prof-options:    -prof -auto-all
 
         hs-source-dirs:         HaLeX_lib
         Exposed-modules:        Language.HaLex.RegExpAsDiGraph, Language.HaLex.Ndfa, Language.HaLex.Dfa2MDfa, Language.HaLex.Minimize,
@@ -33,14 +32,13 @@
                                 Language.HaLex.FaClasses, Language.HaLex.RegExp, Language.HaLex.Dfa, Language.HaLex.DfaMonad,
                                 Language.HaLex.Fa2RegExp, Language.HaLex.Parser, Language.HaLex.RegExp2Fa, Language.HaLex.FaAsDiGraph,
                                 Language.HaLex.FaOperations, Language.HaLex.Util, Language.HaLex.Equivalence
-source-repository this
-  type:     github
-  location: https://github.com/haslab/halex‎
-  tag:      1.2.1
 
 Executable halex
            main-is:             halex.hs
            hs-source-dirs:      HaLeX_tool, HaLeX_lib
 
            ghc-options:          -Wall
-           ghc-prof-options:    -prof -auto-all
+
+source-repository head
+        type:     git
+        location: git://github.com/haslab/halex.git
diff --git a/HaLeX_lib/Language/HaLex/Dfa.hs b/HaLeX_lib/Language/HaLex/Dfa.hs
--- a/HaLeX_lib/Language/HaLex/Dfa.hs
+++ b/HaLeX_lib/Language/HaLex/Dfa.hs
@@ -2,7 +2,7 @@
 -----------------------------------------------------------------------------
 -- |
 -- Module      :  Language.HaLex.Dfa
--- Copyright   :  (c) Jo‹oo Saraiva 2001,2002,2003,2004,2005
+-- Copyright   :  (c) Joãoo Saraiva 2001,2002,2003,2004,2005
 -- License     :  LGPL
 --
 -- Maintainer  :  jas@di.uminho.pt
diff --git a/HaLeX_lib/Language/HaLex/Dfa2MDfa.hs b/HaLeX_lib/Language/HaLex/Dfa2MDfa.hs
--- a/HaLeX_lib/Language/HaLex/Dfa2MDfa.hs
+++ b/HaLeX_lib/Language/HaLex/Dfa2MDfa.hs
diff --git a/HaLeX_lib/Language/HaLex/DfaMonad.lhs b/HaLeX_lib/Language/HaLex/DfaMonad.lhs
--- a/HaLeX_lib/Language/HaLex/DfaMonad.lhs
+++ b/HaLeX_lib/Language/HaLex/DfaMonad.lhs
diff --git a/HaLeX_lib/Language/HaLex/Equivalence.hs b/HaLeX_lib/Language/HaLex/Equivalence.hs
--- a/HaLeX_lib/Language/HaLex/Equivalence.hs
+++ b/HaLeX_lib/Language/HaLex/Equivalence.hs
diff --git a/HaLeX_lib/Language/HaLex/Fa2RegExp.hs b/HaLeX_lib/Language/HaLex/Fa2RegExp.hs
--- a/HaLeX_lib/Language/HaLex/Fa2RegExp.hs
+++ b/HaLeX_lib/Language/HaLex/Fa2RegExp.hs
@@ -111,5 +111,3 @@
 
 applyD d v _ []     _   = Epsilon
 applyD d v i (z:zs) k   = (regular d v i z k) `Or` (applyD d v i zs k)
-
-
diff --git a/HaLeX_lib/Language/HaLex/FaAsDiGraph.hs b/HaLeX_lib/Language/HaLex/FaAsDiGraph.hs
--- a/HaLeX_lib/Language/HaLex/FaAsDiGraph.hs
+++ b/HaLeX_lib/Language/HaLex/FaAsDiGraph.hs
diff --git a/HaLeX_lib/Language/HaLex/FaClasses.hs b/HaLeX_lib/Language/HaLex/FaClasses.hs
--- a/HaLeX_lib/Language/HaLex/FaClasses.hs
+++ b/HaLeX_lib/Language/HaLex/FaClasses.hs
diff --git a/HaLeX_lib/Language/HaLex/FaOperations.hs b/HaLeX_lib/Language/HaLex/FaOperations.hs
--- a/HaLeX_lib/Language/HaLex/FaOperations.hs
+++ b/HaLeX_lib/Language/HaLex/FaOperations.hs
diff --git a/HaLeX_lib/Language/HaLex/Minimize.hs b/HaLeX_lib/Language/HaLex/Minimize.hs
--- a/HaLeX_lib/Language/HaLex/Minimize.hs
+++ b/HaLeX_lib/Language/HaLex/Minimize.hs
diff --git a/HaLeX_lib/Language/HaLex/Ndfa.hs b/HaLeX_lib/Language/HaLex/Ndfa.hs
--- a/HaLeX_lib/Language/HaLex/Ndfa.hs
+++ b/HaLeX_lib/Language/HaLex/Ndfa.hs
diff --git a/HaLeX_lib/Language/HaLex/Parser.hs b/HaLeX_lib/Language/HaLex/Parser.hs
--- a/HaLeX_lib/Language/HaLex/Parser.hs
+++ b/HaLeX_lib/Language/HaLex/Parser.hs
diff --git a/HaLeX_lib/Language/HaLex/RegExp.hs b/HaLeX_lib/Language/HaLex/RegExp.hs
--- a/HaLeX_lib/Language/HaLex/RegExp.hs
+++ b/HaLeX_lib/Language/HaLex/RegExp.hs
diff --git a/HaLeX_lib/Language/HaLex/RegExp2Fa.hs b/HaLeX_lib/Language/HaLex/RegExp2Fa.hs
--- a/HaLeX_lib/Language/HaLex/RegExp2Fa.hs
+++ b/HaLeX_lib/Language/HaLex/RegExp2Fa.hs
diff --git a/HaLeX_lib/Language/HaLex/RegExpAsDiGraph.hs b/HaLeX_lib/Language/HaLex/RegExpAsDiGraph.hs
--- a/HaLeX_lib/Language/HaLex/RegExpAsDiGraph.hs
+++ b/HaLeX_lib/Language/HaLex/RegExpAsDiGraph.hs
@@ -3,19 +3,19 @@
 -- Module      :  Language.HaLex.RegExpAsDiGraph
 -- Copyright   :  (c) João Saraiva 2001,2002,2003,2004,2005
 -- License     :  LGPL
--- 
+--
 -- Maintainer  :  jas@di.uminho.pt
 -- Stability   :  provisional
 -- Portability :  portable
 --
 -- Regular Expressions as Directed Graphs (in GraphViz)
 --
--- Code Included in the Lecture Notes on 
---      Language Processing (with a functional flavour).   
+-- Code Included in the Lecture Notes on
+--      Language Processing (with a functional flavour).
 --
 -----------------------------------------------------------------------------
 
-module Language.HaLex.RegExpAsDiGraph ( 
+module Language.HaLex.RegExpAsDiGraph (
                          re2graphviz
                        ) where
 
@@ -28,7 +28,7 @@
 import Language.HaLex.Minimize
 import Language.HaLex.FaAsDiGraph
 
--- | Print a 'RegExp' in GraphViz-dot (as a string) 
+-- | Print a 'RegExp' in GraphViz-dot (as a string)
 re2graphviz :: (Ord sy, Show sy)
             => RegExp sy  -- ^ Regular Expression (Abstract)
             -> [Char]     -- ^ Graph's Name
@@ -38,7 +38,7 @@
             -> Bool       -- ^ Dead States?
             -> [Char]     -- ^ dot sentence
 
-re2graphviz re n d m b s 
+re2graphviz re n d m b s
   | not d                        = re2DiGraphNdfa re n
   | d && not m          && s     = re2DiGraph    re n
   | d && not m && b     && not s = re2DiGraph'   re n
@@ -48,40 +48,32 @@
 
 
 
-re2DiGraph :: (Show sy, Ord sy) 
+re2DiGraph :: (Show sy, Ord sy)
            => RegExp sy               -- ^ Regular Expression
            -> [Char]                  -- ^ Module Name
            -> [Char]                  -- ^ Dot Graph
-re2DiGraph re name = dfa2graphviz dfa name 
+re2DiGraph re name = dfa2graphviz dfa name
   where dfa = (ndfa2dfa . regExp2Ndfa) re
 
-re2DiGraph' re name = dfa2graphviz dfa name 
+re2DiGraph' re name = dfa2graphviz dfa name
   where dfa = (beautifyDfa .ndfa2dfa . regExp2Ndfa) re
 
-re2DiGraph'' re name = dfa2graphviz dfa name 
+re2DiGraph'' re name = dfa2graphviz dfa name
   where dfa = (beautifyDfa . minimizeDfa . ndfa2dfa . regExp2Ndfa) re
 
 
-re2DiGraph''' re name = dfa2DiGraphWithNoSyncSt dfa name 
+re2DiGraph''' re name = dfa2DiGraphWithNoSyncSt dfa name
   where dfa = (beautifyDfaWithSyncSt . minimizeDfa . ndfa2dfa . regExp2Ndfa) re
 
 re2DiGraphNdfa re name = ndfa2graphviz ndfa name
-  where ndfa = regExp2Ndfa re  
+  where ndfa = regExp2Ndfa re
 
 
 re2DiGraphIO :: (Show sy, Ord sy) => RegExp sy -> [Char] -> IO ()
-re2DiGraphIO er name = dfa2graphviz2file dfa name 
+re2DiGraphIO er name = dfa2graphviz2file dfa name
   where dfa = (beautifyDfa . ndfa2dfa . regExp2Ndfa) er
 
 
-absRe2DiGraph_File er name = 
-        dfaDiGraphWithNoSyncStIO dfa name (name++".dot") 
+absRe2DiGraph_File er name =
+        dfaDiGraphWithNoSyncStIO dfa name (name++".dot")
   where dfa = (beautifyDfaWithSyncSt . minimizeDfa . ndfa2dfa . regExp2Ndfa) er
-
-
-
-
-
-
-
-
diff --git a/HaLeX_lib/Language/HaLex/RegExpParser.hs b/HaLeX_lib/Language/HaLex/RegExpParser.hs
--- a/HaLeX_lib/Language/HaLex/RegExpParser.hs
+++ b/HaLeX_lib/Language/HaLex/RegExpParser.hs
@@ -21,6 +21,7 @@
 module Language.HaLex.RegExpParser ( parseRegExp
                                    ) where
 
+import Prelude hiding ((<$>), (<*>))
 import Data.Char
 import Language.HaLex.Parser
 import Language.HaLex.RegExp
diff --git a/HaLeX_lib/Language/HaLex/Util.hs b/HaLeX_lib/Language/HaLex/Util.hs
--- a/HaLeX_lib/Language/HaLex/Util.hs
+++ b/HaLeX_lib/Language/HaLex/Util.hs
@@ -1,7 +1,7 @@
 -----------------------------------------------------------------------------
 -- |
 -- Module      :  Language.HaLex.Edfa
--- Copyright   :  (c) Jo‹oo Saraiva 2001,2002,2003,2004,2005
+-- Copyright   :  (c) Joãoo Saraiva 2001,2002,2003,2004,2005
 -- License     :  LGPL
 --
 -- Maintainer  :  jas@di.uminho.pt
diff --git a/HaLeX_tool/halex.hs b/HaLeX_tool/halex.hs
--- a/HaLeX_tool/halex.hs
+++ b/HaLeX_tool/halex.hs
diff --git a/INSTALL b/INSTALL
--- a/INSTALL
+++ b/INSTALL
@@ -12,7 +12,7 @@
           jas@di.uminho.pt
 
 
-Version: 1.1 (January, 2005)
+Version: 1.2.2 (August, 2016)
 
 
 - halex batch tool
diff --git a/LICENSE b/LICENSE
--- a/LICENSE
+++ b/LICENSE
@@ -2,4 +2,4 @@
 
 "6- Where to get the software
 
-The HaLeX system is public domain and it is available as a gzipped tar file at: HaLeX_1.2.1.tgz"
+The HaLeX system is public domain and it is available as a gzipped tar file at: HaLeX_1.2.2.tgz"
diff --git a/README.md b/README.md
--- a/README.md
+++ b/README.md
@@ -15,7 +15,7 @@
           jas@di.uminho.pt
 
 
-Version: 1.2.1 (October, 2013)
+Version: 1.2.2 (August, 2016)
 
 
 1- What is HaleX