Version 1.15

CHANGES

@@ -1,6 +1,12 @@
                      -----------------------------------
                      | CHANGES of the Automata package |
                      -----------------------------------
+1.14 -> 1.15
+- Switch CI to use GitHub Actions (Thanks Max)
+- Add Travis & Codecov support (Thanks Max)
+- Fixed bug in ProductOfLanguages (pointed out by Christian Sievers)
+- Fixed bug in FlowerAutomaton (pointed out by Lars Louder)
+
 1.13 -> 1.14
 - drawings are now produced in two steps: first the dot code (that is accessible to the user) and then the display
 - added a test file

PackageInfo.g

@@ -2,8 +2,8 @@ SetPackageInfo( rec(
 
 PackageName := "Automata",
 Subtitle := "A package on automata",
-Version := "1.14",
-Date := "26/09/2018", # dd/mm/yyyy format
+Version := "1.15",
+Date := "20/03/2022", # dd/mm/yyyy format
 License := "GPL-2.0-or-later",
 
 Persons := [

README.md

@@ -9,7 +9,7 @@ automata
 Introduction
 ------------
 
-This is release 1.14 of  the package `automata`.
+This is release 1.15 of  the package `automata`.
 
 The features of this package include
 

doc/AutMan.xml

@@ -88,7 +88,7 @@ The first author was/is (partially) supported by:
 <P/> the European Regional Development Fund through the
 program COMPETE and by the Portuguese Government through the FCT - Fundação
 para a Ciência e a Tecnologia under the project PEst-C/MAT/UI0144/2011;
-<P/> FCT (Portugal) with national (MEC) and European structural funds through the programs FEDER, under the partnership agreement PT2020, under the project UID/MAT/00144/2013.
+<P/> The first author wants to acknowledge partial support by CMUP (UID/MAT/00144/2013 and UID/MAT/00144/2019), which is funded by FCT (Portugal) with national (MEC) and European structural funds through the programs FEDER, under the partnership agreement PT2020.
 
   </Acknowledgements>
 
@@ -107,7 +107,7 @@ many functions have been added and the performance of many of the existing
 ones has been improved. Further important improvements, specially concerning performance,
 have been achieved when the second author joined the group.
 
-The first author is particularly grateful to Max Horn whose help made the release of Version 1.14 a lot easier. 
+The first author is particularly grateful to Max Horn whose help made the release of Versions 1.14 and 1.15 a lot easier. 
 <P/>
 <P/>
 Since Version 1.12, the package is maintained by the first two authors.