From 419f1bb2646c48257810f7d839883e4808b01e41 Mon Sep 17 00:00:00 2001 From: Susana Hahn Date: Wed, 7 Aug 2024 17:51:08 -0600 Subject: [PATCH] Last fixes to documentation --- docs/clinguin/help.rst | 2 +- docs/conf.py | 2 +- examples/angular/placement/README.md | 2 +- examples/angular/sudoku_advanced/README.md | 2 +- setup.cfg | 2 +- tests/reference_json_output/health.py | 2 +- 6 files changed, 6 insertions(+), 6 deletions(-) diff --git a/docs/clinguin/help.rst b/docs/clinguin/help.rst index c7d8616..227e2f7 100644 --- a/docs/clinguin/help.rst +++ b/docs/clinguin/help.rst @@ -5,7 +5,7 @@ ======================== .. admonition:: **Logging** - :class: tip + :class: important The first thing to try when things are not working as expected is to turn on the logs and inspect the console. The log level can be set to ``DEBUG`` in the command line by adding the flag ``--server-log-level DEBUG``. diff --git a/docs/conf.py b/docs/conf.py index 02483be..2983aeb 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -38,7 +38,7 @@ author = "Susana Hahn, Alexander Beiser" # The full version, including alpha/beta/rc tags -release = "1.0.27" +release = "1.0.28" # -- General configuration --------------------------------------------------- diff --git a/examples/angular/placement/README.md b/examples/angular/placement/README.md index 4c47b91..bd1d90a 100644 --- a/examples/angular/placement/README.md +++ b/examples/angular/placement/README.md @@ -8,7 +8,7 @@ The option ` --opt-timeout 0` makes sure that one model is computed at a time to ## Usage ``` -clinguin client-server --domain-files placement/{instance.lp,encoding.lp} --ui-files placement/ui.lp --opt-timeout 0 +$ clinguin client-server --domain-files placement/{instance.lp,encoding.lp} --ui-files placement/ui.lp --opt-timeout 0 ``` diff --git a/examples/angular/sudoku_advanced/README.md b/examples/angular/sudoku_advanced/README.md index 5e0f4fb..658cc07 100644 --- a/examples/angular/sudoku_advanced/README.md +++ b/examples/angular/sudoku_advanced/README.md @@ -1,4 +1,4 @@ -## Sudoku Explained +# Sudoku Explained - **Backend**: `ExplanationBackend` diff --git a/setup.cfg b/setup.cfg index cf6ab09..ef85b94 100644 --- a/setup.cfg +++ b/setup.cfg @@ -1,6 +1,6 @@ [metadata] name = clinguin -version = 1.0.27 +version = 1.0.28 author = Alexander Beiser, Susana Hahn (Potassco) author_email = alexl.id.at@gmail.com, hahnmartin@uni-potsdam.de description = An interactive visualizer for clingo diff --git a/tests/reference_json_output/health.py b/tests/reference_json_output/health.py index cc5dd54..5884e2e 100644 --- a/tests/reference_json_output/health.py +++ b/tests/reference_json_output/health.py @@ -6,7 +6,7 @@ class Health: def get_reference_json(cls): json_dict = { "name": "clinguin", - "version": "1.0.27", + "version": "1.0.28", "description": "An interactive visualizer for clingo", }