From d65a76728d2fc41b6592839b101d95decf53e71e Mon Sep 17 00:00:00 2001 From: dgelessus <dgelessus@users.noreply.github.com> Date: Wed, 3 May 2023 20:51:14 +0200 Subject: [PATCH] Release version 1.4.1 --- CHANGELOG.md | 4 ++++ README.md | 2 +- build.gradle | 2 +- 3 files changed, 6 insertions(+), 2 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 654a9ff..606ea60 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -2,6 +2,10 @@ ## [(next version)](https://gitlab.cs.uni-duesseldorf.de/api/v4/projects/848/jobs/artifacts/master/raw/build/libs/prob2-jupyter-kernel-1.4.1-SNAPSHOT-all.jar?job=test) +* (no changes yet) + +## [1.4.1](https://stups.hhu-hosting.de/downloads/prob2-jupyter/prob2-jupyter-kernel-1.4.1-all.jar) + * Updated to ProB 1.12.1 (ProB Java API version 4.12.1). ## [1.4.0](https://stups.hhu-hosting.de/downloads/prob2-jupyter/prob2-jupyter-kernel-1.4.0-all.jar) diff --git a/README.md b/README.md index 8b1c149..d69fa72 100644 --- a/README.md +++ b/README.md @@ -8,7 +8,7 @@ This is a [Jupyter](https://jupyter.org/) kernel for the [ProB animator and mode ## Downloads -* **[Download the latest version of the ProB2 Jupyter kernel here](https://stups.hhu-hosting.de/downloads/prob2-jupyter/prob2-jupyter-kernel-1.4.0-all.jar).** +* **[Download the latest version of the ProB2 Jupyter kernel here](https://stups.hhu-hosting.de/downloads/prob2-jupyter/prob2-jupyter-kernel-1.4.1-all.jar).** * Download links for previous versions can be found in the [changelog]. * A [snapshot build](https://gitlab.cs.uni-duesseldorf.de/api/v4/projects/848/jobs/artifacts/master/raw/build/libs/prob2-jupyter-kernel-1.4.1-SNAPSHOT-all.jar?job=test) of the latest development version is also available. **Warning:** this is an unstable version that can contain bugs or breaking changes. diff --git a/build.gradle b/build.gradle index 8a7c9ff..5d11571 100644 --- a/build.gradle +++ b/build.gradle @@ -8,7 +8,7 @@ plugins { id("com.github.johnrengelman.shadow").version("7.1.2") } -version = "1.4.1-SNAPSHOT" +version = "1.4.1" final isSnapshot = project.version.endsWith("-SNAPSHOT") -- GitLab