From 6c5bfeb373d24ceca86dc77e21b97b7715963aec Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond <guillaume.melquiond@inria.fr>
Date: Tue, 17 Mar 2020 09:52:46 +0100
Subject: [PATCH] Version 1.3.0

---
 CHANGES.md         | 3 +++
 configure.in       | 2 +-
 misc/release.md    | 5 +++--
 src/ide/gconfig.ml | 2 +-
 4 files changed, 8 insertions(+), 4 deletions(-)

diff --git a/CHANGES.md b/CHANGES.md
index 9cd5eb40a..d7638895d 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,5 +1,8 @@
 :x: marks a potential source of incompatibility
 
+Version 1.3.0, March 17, 2020
+-----------------------------
+
 Standard library
   * `pqueue.Pqueue` is now modeled using sequences instead of lists :x:
   * `queue.Queue` is now modeled using sequences instead of lists :x:
diff --git a/configure.in b/configure.in
index 92777f6e2..93112b9ef 100644
--- a/configure.in
+++ b/configure.in
@@ -25,7 +25,7 @@
 # See the GNU Library General Public License version 2 for more details
 # (enclosed in the file LGPL).
 
-AC_INIT([Why3], [1.2.1+git])
+AC_INIT([Why3], [1.3.0])
 
 # verbosemake
 
diff --git a/misc/release.md b/misc/release.md
index 6801046ba..27a8e9b12 100644
--- a/misc/release.md
+++ b/misc/release.md
@@ -7,6 +7,7 @@
     (see below: copy the dtd on the web)
   - `make trywhy3`
   - run `make detect-unused` and remove unused files
+  - run `make update-doc-png` and check if some pictures need to be updated
 
 * change version number `VERSION=1.3 RELEASE=1.3.0`
   - update the first line of `configure.in` using `$RELEASE`
@@ -16,10 +17,10 @@
 
 * check/update authors and copyright
   - update the content of the About dialog in `src/ide/gconfig.ml`
-    around lines 600-650
+    around lines 630-670
   - update the `copyright` field in `doc/conf.py` around line 50
   - update `doc/foreword.rst`
-  - check headers, run `make headers` if needed
+  - check headers, modify `misc/header.txt` and run `make headers` if needed
 
 * generate documentation
   - `make doc`
diff --git a/src/ide/gconfig.ml b/src/ide/gconfig.ml
index 41666847b..b734f0800 100644
--- a/src/ide/gconfig.ml
+++ b/src/ide/gconfig.ml
@@ -665,7 +665,7 @@ let show_about_window ~parent () =
                 "Piotr Trojanek";
                 "Makarius Wenzel";
                ]
-      ~copyright:"Copyright 2010-2019 Inria, CNRS, Paris-Sud University"
+      ~copyright:"Copyright 2010-2020 Inria, CNRS, Paris-Sud University"
       ~license:("See file " ^ Filename.concat Config.datadir "LICENSE")
       ~website:"http://why3.lri.fr/"
       ~website_label:"http://why3.lri.fr/"
-- 
2.11.4.GIT