diff --git a/HaLeX.cabal b/HaLeX.cabal index 5f09700..a4cfdc3 100644 --- a/HaLeX.cabal +++ b/HaLeX.cabal @@ -1,5 +1,5 @@ name: HaLeX -version: 1.2 +version: 1.2.1 synopsis: HaLeX enables modelling, manipulation and animation of regular languages description: This library was developed in the context of a programming methodology course for undergraduate students, and as a consequence, it was defined mainly for educational purposes. @@ -17,7 +17,7 @@ homepage: http://www.di.uminho.pt/~jas/Research/HaLeX/HaLeX.html tested-with: GHC==6.8.2 Cabal-Version: >= 1.2 build-type: Simple -data-files: README, INSTALL, paper/HaLeX.ps, example/README, example/real_dfa.ps, example/real_ndfa.ps +data-files: README.md, INSTALL, paper/HaLeX.ps, example/README, example/real_dfa.ps, example/real_ndfa.ps extra-source-files: scripts/Make_Animation, scripts/faAnim.lefty, example/real, example/real_dfa.hs, example/real_ndfa.hs, example/GenMDfa.hs Library diff --git a/LICENSE b/LICENSE index 32ce03a..cc24200 100644 --- a/LICENSE +++ b/LICENSE @@ -2,4 +2,4 @@ From : "6- Where to get the software -The HaLeX system is public domain and it is available as a gzipped tar file at: HaLeX_1.1.tgz" \ No newline at end of file +The HaLeX system is public domain and it is available as a gzipped tar file at: HaLeX_1.2.1.tgz" \ No newline at end of file diff --git a/README.md b/README.md index 16393fd..d66c4c2 100644 --- a/README.md +++ b/README.md @@ -15,7 +15,7 @@ Copyright João Saraiva jas@di.uminho.pt -Version: 1.1 (January, 2005) +Version: 1.2.1 (October, 2013) 1- What is HaleX