From a21ddc6d171e8ffd2d381d0a4038414462589630 Mon Sep 17 00:00:00 2001
From: Franco Bulgarelli <franco@mumuki.org>
Date: Mon, 24 Jul 2017 01:28:15 -0300
Subject: [PATCH] Welcome 2.3.0!

---
 app/Version.hs | 2 +-
 mulang.cabal   | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/app/Version.hs b/app/Version.hs
index 2d0382664..be39ece5d 100644
--- a/app/Version.hs
+++ b/app/Version.hs
@@ -6,7 +6,7 @@ prettyVersion :: String
 prettyVersion = "Mulang Release " ++ version ++ ", compiled on " ++ compilationTimestamp
 
 version :: String
-version = "2.2.0"
+version = "2.3.0"
 
 
 compilationTimestamp :: String
diff --git a/mulang.cabal b/mulang.cabal
index 2ffce914c..be420ce77 100644
--- a/mulang.cabal
+++ b/mulang.cabal
@@ -1,5 +1,5 @@
 name:                mulang
-version:             2.2.0
+version:             2.3.0
 synopsis:            The Mu Language, a non-computable extended Lambda Calculus
 -- description:
 license:             GPL