v1.1

reactive-systems · Jul 3, 2017 · a6db053 · a6db053
1 parent 8aceb00
commit a6db053
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/README b/README
@@ -1,5 +1,5 @@
 # Synthesis Format Conversion Tool
-# (Version 1.0.0.28)
+# (Version 1.1.0.0)
 
 A tool for reading, manipulating and transforming synthesis
 specifications in TLSF [0].

diff --git a/README.md b/README.md
@@ -1,4 +1,4 @@
-# Synthesis Format Conversion Tool<br/>(Version 1.0.0.28)
+# Synthesis Format Conversion Tool<br/>(Version 1.1.0.0)
 
 A tool for reading, manipulating and transforming synthesis
 specifications in [TLSF](https://arxiv.org/abs/1604.02284).

diff --git a/syfco.cabal b/syfco.cabal
@@ -1,5 +1,5 @@
 name:                syfco
-version:             1.0.0.28
+version:             1.1.0.0
 synopsis:            Synthesis Format Conversion Tool / Library
 description:         Library and tool for reading, manipulating and transforming synthesis specifications.
 license:             MIT