Small change to docs

potassco · Aug 5, 2024 · e94bc27 · e94bc27
1 parent a649aa3
commit e94bc27
Show file tree

Hide file tree

Showing 5 changed files with 14 additions and 6 deletions.
diff --git a/docs/clinguin/backends/ClingoDLBackend.rst b/docs/clinguin/backends/ClingoDLBackend.rst
@@ -45,6 +45,8 @@ Also includes all public operations from the :ref:`ClingoMultishotBackend`.
 Domain state constructors
 +++++++++++++++++++++++++
 
-The domain state also inclues domain constructors from the :ref:`ClingoMultishotBackend`
+.. important::
+
+    The domain state also inclues domain constructors from the :ref:`ClingoMultishotBackend`
 
 .. autoproperty:: ClingoDLBackend._ds_assign
diff --git a/docs/clinguin/backends/ClingoMultishotBackend.rst b/docs/clinguin/backends/ClingoMultishotBackend.rst
@@ -29,6 +29,8 @@ Also includes all public operations from the :ref:`ClingoBackend`.
 Domain state constructors
 +++++++++++++++++++++++++
 
-The domain state also inclues domain constructors from the :ref:`ClingoBackend`
+.. important::
+
+    The domain state also inclues domain constructors from the :ref:`ClingoBackend`
 
 .. autoproperty:: ClingoMultishotBackend._ds_assume
diff --git a/docs/clinguin/backends/ClingraphBackend.rst b/docs/clinguin/backends/ClingraphBackend.rst
@@ -90,7 +90,7 @@ Public operations
 +++++++++++++++++
 
 Can be used as `OPERATION` in the actions of the :ref:`ui-state`
-Also includes all public operations from the :ref:`ClingoBackend`.
+Also includes all public operations from the :ref:`ClingoMultishotBackend`.
 
 .. autoclass:: ClingraphBackend
     :members:
@@ -101,6 +101,8 @@ Also includes all public operations from the :ref:`ClingoBackend`.
 Domain state constructors
 +++++++++++++++++++++++++
 
-The domain state also inclues domain constructors from the :ref:`ClingoBackend`
+.. important::
+
+    The domain state also inclues domain constructors from the :ref:`ClingoMultishotBackend`
 
 
diff --git a/docs/clinguin/backends/ExplanationBackend.rst b/docs/clinguin/backends/ExplanationBackend.rst
@@ -68,7 +68,9 @@ Also includes all public operations from the :ref:`ClingoMultishotBackend`.
 Domain state constructors
 +++++++++++++++++++++++++
 
-The domain state also inclues domain constructors from the :ref:`ClingoMultishotBackend`
+.. important::
+
+    The domain state also inclues domain constructors from the :ref:`ClingoMultishotBackend`
 
 .. autoproperty:: ExplanationBackend._ds_mus
 
diff --git a/docs/clinguin/installation.rst b/docs/clinguin/installation.rst
@@ -21,7 +21,7 @@ The python clinguin package can be found `here <https://pypi.org/project/clingui
 
 .. note::
 
-    If you wish to use tkinter instead of angluar, install as follows.
+    If you wish to use tkinter instead of angluar (discouraged), install as follows.
 
     .. code-block:: console