Changed version number to 1.0

Ahmad Salim Al-Sibahi · Ahmad Salim Al-Sibahi · commit 196a27941bc6 · 2015-09-16T13:37:51.000+02:00
diff --git a/p3-tool.cabal b/p3-tool.cabal
@@ -1,5 +1,5 @@
 Name: p3-tool
-Version: 0.5
+Version: 1.0
 Cabal-Version:  >= 1.8
 Author: Ahmad Salim Al-Sibahi
 Synopsis: Parser and Transformation tool for fPromela
