diff --git a/CHANGELOG.md b/CHANGELOG.md index 654a9ff4e400f6c50ce2fb2877c464526107fef2..606ea6065d7ba886ba205831745844b9a5096758 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 8b1c14978d1a8dd373d7e3a0003744def6b56e38..d69fa72115a9137a852539aa07958c2f66a6a05b 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 8a7c9fff98338233f793ab35ebd421b6eacee816..5d11571e7fcfcd3ca19352603f43afc90227172a 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")