Fix a few broken links (#7734)

This PR fixes a few broken links in our documentation.

diff --git a/docs/api/python/regular/quickstart.rst b/docs/api/python/regular/quickstart.rst
index 783bcfd1f5e3663129aa50281aba1d404db921a5..ba3360db8fd7a485c53ba095dfd48caddf248f8f 100644 (file)
--- a/docs/api/python/regular/quickstart.rst
+++ b/docs/api/python/regular/quickstart.rst
@@ -166,7 +166,7 @@ Example
 -------
 
 | The SMT-LIB input for this example can be found at `examples/api/smtlib/quickstart.smt2 <https://github.com/cvc5/cvc5/blob/master/examples/api/smtlib/quickstart.smt2>`_.
-| The source code for this example can be found at `examples/api/python/quickstart.py <https://github.com/cvc5/cvc5/blob/master/examples/api/python/quickstart.cpp>`_.
+| The source code for this example can be found at `examples/api/python/quickstart.py <https://github.com/cvc5/cvc5/blob/master/examples/api/python/quickstart.py>`_.
 
 .. api-examples::
     <examples>/api/cpp/quickstart.cpp

diff --git a/docs/theories/separation-logic.rst b/docs/theories/separation-logic.rst
index 86f802ef88cb9a6aa961b2d477b80c9f8c7a6918..36d3a165fdf7a24907b5bdd1979523844ebd1271 100644 (file)
--- a/docs/theories/separation-logic.rst
+++ b/docs/theories/separation-logic.rst
@@ -121,7 +121,7 @@ formula ``(not (emp x 0))`` is satisfied by heaps ``U -> Int`` (the sorts of
   (check-sat)
 
 The following input on heaps ``Int -> Node`` is satisfiable, where ``Node``
-denotes a user-defined inductive `datatypes <datatypes>`__.
+denotes a user-defined inductive :doc:`datatypes`.
 
 .. code:: smtlib
 

diff --git a/docs/theories/sets-and-relations.rst b/docs/theories/sets-and-relations.rst
index 2da6715e3cf12926f4f46e4b5679f6d5cb7de583..bed7e05cf05b12c000099233bd5478823d4d6760 100644 (file)
--- a/docs/theories/sets-and-relations.rst
+++ b/docs/theories/sets-and-relations.rst
@@ -16,7 +16,8 @@ The source code of these examples is available at:
 
 * `SMT-LIB 2 language example <https://github.com/cvc5/cvc5/blob/master/examples/api/smtlib/sets.smt2>`__
 * `C++ API example <https://github.com/cvc5/cvc5/blob/master/examples/api/cpp/sets.cpp>`__
-* `Python API example <https://github.com/cvc5/cvc5/blob/master/examples/api/python/sets.cpp>`__
+* `Java API example <https://github.com/cvc5/cvc5/blob/master/examples/api/java/Sets.java>`__
+* `Python API example <https://github.com/cvc5/cvc5/blob/master/examples/api/python/sets.py>`__
 
 
 Below is a short summary of the sorts, constants, functions and