diff --git a/doc/source/doc/dfts.ipynb b/doc/source/doc/dfts.ipynb index 448a4a1..e1e253f 100644 --- a/doc/source/doc/dfts.ipynb +++ b/doc/source/doc/dfts.ipynb @@ -85,7 +85,7 @@ "[01-dfts.py](https://github.com/moves-rwth/stormpy/blob/master/examples/dfts/01-dfts.py)\n", "\n", "The next step is to analyze the DFT via `analyze_dft(dft, formula)`.\n", - "Here we can use all standard properties as described in [Building properties](../getting_started.ipynb#getting-started-building-properties).\n", + "Here we can use all standard properties as described in [Building properties](../getting_started.ipynb#building-properties).\n", "In our example we compute the Mean-time-to-failure (MTTF):" ] }, diff --git a/doc/source/doc/parametric_models.ipynb b/doc/source/doc/parametric_models.ipynb index c865900..0486ca8 100644 --- a/doc/source/doc/parametric_models.ipynb +++ b/doc/source/doc/parametric_models.ipynb @@ -97,7 +97,7 @@ "\n", "[02-parametric-models.py](https://github.com/moves-rwth/stormpy/blob/master/examples//parametric_models/02-parametric-models.py)\n", "\n", - "It is also possible to check the parametric model directly, similar as before in [Checking properties](../getting_started.ipynb#getting-started-checking-properties):" + "It is also possible to check the parametric model directly, similar as before in [Checking properties](../getting_started.ipynb#checking-properties):" ] }, { diff --git a/doc/source/getting_started.ipynb b/doc/source/getting_started.ipynb index 13df258..4e4428e 100644 --- a/doc/source/getting_started.ipynb +++ b/doc/source/getting_started.ipynb @@ -155,8 +155,7 @@ "source": [ "We will investigate ways to examine the model in more detail later in [Investigating the model](#getting-started-investigating-the-model).\n", "\n", - "\n", - "" + "\n" ] }, {