From 9d7ddecbb741d23e19e2a60bcef856973c738393 Mon Sep 17 00:00:00 2001
From: hannah <hannah.mertens@rwth-aachen.de>
Date: Sun, 27 Sep 2020 20:43:23 +0200
Subject: [PATCH] fixed links
---
doc/source/doc/dfts.ipynb | 2 +-
doc/source/doc/parametric_models.ipynb | 2 +-
doc/source/getting_started.ipynb | 3 +--
3 files changed, 3 insertions(+), 4 deletions(-)
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",
- "<a id='getting-started-building-properties'></a>"
+ "\n"
]
},
{