From a6db05338176fa92410f40196d5f45d98270772c Mon Sep 17 00:00:00 2001 From: Felix Klein Date: Mon, 3 Jul 2017 12:39:49 +0200 Subject: [PATCH] v1.1 --- README | 2 +- README.md | 2 +- syfco.cabal | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/README b/README index f408f80..146a76d 100644 --- 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 index 608c4a8..4eb5a20 100644 --- a/README.md +++ b/README.md @@ -1,4 +1,4 @@ -# Synthesis Format Conversion Tool
(Version 1.0.0.28) +# Synthesis Format Conversion Tool
(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 index e7fe847..34761fe 100644 --- 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