Up the version to 1.3.0

Author: kostis

THANKS

@@ -28,6 +28,7 @@ pull requests that have been incorporated in PropEr's code base:
  25. Teemu Harju
  26. Carl-Johan Kjellander
  27. Fred Hebert
+ 28. Stavros Aronis
 
 We sincerely thank them for making PropEr a better tool.
 

mix.exs

@@ -3,7 +3,7 @@ defmodule Proper.Mixfile do
 
   def project do
     [app: :proper,
-     version: "1.2.0",
+     version: "1.3.0",
      description: description(),
      package: package(),
      deps: deps()]

src/proper.app.src

@@ -1,7 +1,7 @@
 %%% -*- coding: utf-8 -*-
 %%% -*- erlang-indent-level: 2 -*-
 %%% -------------------------------------------------------------------
-%%% Copyright 2010-2013 Manolis Papadakis <manopapad@gmail.com>,
+%%% Copyright 2010-2018 Manolis Papadakis <manopapad@gmail.com>,
 %%%                     Eirini Arvaniti <eirinibob@gmail.com>
 %%%                 and Kostis Sagonas <kostis@cs.ntua.gr>
 %%%
@@ -20,14 +20,14 @@
 %%% You should have received a copy of the GNU General Public License
 %%% along with PropEr.  If not, see <http://www.gnu.org/licenses/>.
 
-%%% @copyright 2010-2013 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas
+%%% @copyright 2010-2018 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas
 %%% @version {@version}
 %%% @author Manolis Papadakis
 %%% @doc This is the source for the proper.app file.
 
 {application, proper,
  [{description, "A QuickCheck-inspired property-based testing tool for Erlang"},
-  {vsn, "1.2.0"},
+  {vsn, "1.3.0"},
   {registered, []},
   {applications, [compiler,kernel,stdlib]},
   {env, []}]}.