Closing version 1.0

Verites · Oct 14, 2016 · 48cedb6 · 48cedb6
1 parent 754fad1
commit 48cedb6
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-rc01
+version:             1.0
 synopsis:            Software specification and verification tool based on graph rewriting.
 -- description:
 license:             Apache-2.0