Version 2.0

mklokocka · Jan 25, 2020 · 71c37be · 71c37be
1 parent a5dc1a4
commit 71c37be
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/ChangeLog.md b/ChangeLog.md
@@ -1,4 +1,4 @@
-## [Unpublished]
+## [2.0] - 2020-01-25
 The code was almost completely rewritten.
 
 ### Added
@@ -80,6 +80,7 @@ The code was almost completely rewritten.
 ### Added
 * Seminator translates input transition-based generalized Büchi automaton into a semi-deterministic or cut-deterministic Büchi automaton.
 
-[Unpublished]: https://github.com/mklokocka/seminator/compare/v1.2.0...HEAD
+[Unpublished]: https://github.com/mklokocka/seminator/compare/v2.0...HEAD
+[2.0]: https://github.com/mklokocka/seminator/compare/v1.2.0...v2.0
 [1.2.0]: https://github.com/mklokocka/seminator/compare/v1.1.0...v1.2.0
 [1.1.0]: https://github.com/mklokocka/seminator/compare/v1.0.0...v1.1.0
diff --git a/configure.ac b/configure.ac
@@ -56,7 +56,7 @@ and in this case you do not need python3-devel installed.])])
 ])
 
 AC_PREREQ([2.63])
-AC_INIT([seminator], [1.99])
+AC_INIT([seminator], [2.0])
 AC_CONFIG_AUX_DIR([tools])
 AM_INIT_AUTOMAKE([1.11 gnu tar-ustar color-tests parallel-tests
                   subdir-objects foreign])