fixed titles in some tutorial pages

friguzzi · Mar 8, 2016 · ff8b049 · ff8b049
1 parent c6f9845
commit ff8b049
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/tutorial/inference/arithm.swinb b/tutorial/inference/arithm.swinb
@@ -1,7 +1,7 @@
 <div class="notebook">
 
 <div class="nb-cell markdown">
-# Markov Chain
+# Random arithmetic functions
 
 In this example we want to show how to perform conditional inference in
 an approximate way using sampling. In particular, we will show how to

diff --git a/tutorial/inference/markov_chain.swinb b/tutorial/inference/markov_chain.swinb
@@ -9,7 +9,7 @@ The chains may be infinite so the query may have an infinite number of explanati
 :- set_pita(depth_bound,true).
 :- set_pita(depth,&lt;level of depth (integer)&gt;).
 ==
-(see [exact inference variant of this example](markov_chaindb.pl)). Alternatively, MCINTYRE can be used. 
+(see [exact inference variant of this example](example/inference/markov_chaindb.pl)). Alternatively, MCINTYRE can be used. 
 
 Here we will use the latter approach.
 

diff --git a/tutorial/inference/pctl_slep.swinb b/tutorial/inference/pctl_slep.swinb
@@ -1,7 +1,7 @@
 <div class="notebook">
 
 <div class="nb-cell markdown">
-# Markov Chain
+# Probabilistic Computation Tree Logic
 
 In this example we want to perform model checking of the Synchronous Leader Election Protocol expressed in 
 Probabilistic Computation Tree Logic (PCTL).