From 6d1f768bf955d5f99c228c873fae633696f52d74 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?R=C3=A9mi=20C=C3=A9r=C3=A8s?= Date: Thu, 30 Mar 2023 17:58:31 +0200 Subject: [PATCH] Update link to corese-library-python-4.4.0.jar --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index b00a177ef..9f3a8832f 100644 --- a/README.md +++ b/README.md @@ -81,8 +81,8 @@ java -jar "-Dfile.encoding=UTF8" "corese-gui-4.4.0.jar" - Download [Corese-python jar file](https://project.inria.fr/corese/download/). ```sh -wget "files.inria.fr/corese/distrib/corese-python-4.4.0.jar" -java -jar "-Dfile.encoding=UTF8" "corese-python-4.4.0.jar" +wget "files.inria.fr/corese/distrib/corese-library-python-4.4.0.jar" +java -jar "-Dfile.encoding=UTF8" "corese-library-python-4.4.0.jar" ``` ### Corese-Command (beta)