diff --git a/CSPM-CoreLanguage.cabal b/CSPM-CoreLanguage.cabal
--- a/CSPM-CoreLanguage.cabal
+++ b/CSPM-CoreLanguage.cabal
@@ -1,24 +1,26 @@
 Name:                CSPM-CoreLanguage
-Version:             0.3.0.3
-Synopsis:            Definition of a FDR-compatible CSP core-language. 
+Version:             0.3.1.0
+Synopsis:            Definition of a CSP core-language. 
 Description:
-  This package contains an interface for a CSP core-language.
-  It defines processes, events, event sets, a EDSL for process operations like
-  parallel or interleaving.
-  This interface can be used to implement a FDR-2.83 compatible CSPM animator.
-  We use this interface in our tool to connect the functional CSPM-sub-language
-  with core CSP functionality.
+  This package contains an interface for the CSP core-language.
+  It defines processes, events, event sets, and a domain specific language
+  for process operations like parallel or interleaving processes.
 
 
 Category:            Language,Formal Methods,Concurrency
 License:             BSD3
 License-File:        LICENSE
-Author:              2010 - 2013 Marc Fontaine
+Author:              2010 - 2017 Marc Fontaine <Marc.Fontaine@gmx.de>
 Maintainer:          Marc Fontaine <Marc.Fontaine@gmx.de>
 Stability:           experimental
-Tested-With:         GHC == 7.6.3
-Cabal-Version:       >= 1.10
+Tested-With:         GHC == 8.2.1
+Cabal-Version:       >= 1.24
 Build-Type:          Simple
+Extra-Source-Files:  README.md
+                    
+Source-Repository head
+  type:     git
+  location: git://github.com/MarcFontaine/cspm
 
 Library
   Build-Depends:
diff --git a/LICENSE b/LICENSE
--- a/LICENSE
+++ b/LICENSE
@@ -1,4 +1,4 @@
-Copyright (c) Marc Fontaine 2007-2011
+Copyright (c) Marc Fontaine 2007-2017
 
 All rights reserved.
 
diff --git a/README.md b/README.md
new file mode 100644
--- /dev/null
+++ b/README.md
@@ -0,0 +1,3 @@
+# CSPM-CoreLanguage
+
+## [Haddock documentation](http://hackage.haskell.org/package/CSPM-CoreLanguage)