Closing version 1.1.0

Verites · May 10, 2017 · 66e8e57 · 66e8e57
1 parent 747fa63
commit 66e8e57
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/verigraph.cabal b/verigraph.cabal
@@ -1,5 +1,5 @@
 name:                verigraph
-version:             1.0
+version:             1.1.0
 synopsis:            Software specification and verification tool based on graph rewriting.
 -- description:
 license:             Apache-2.0