Rename summary of Targeted tutorial

kostis · kostis · commit 31398669caee · 2017-11-06T21:48:40.000+01:00
diff --git a/pages_src/Tutorials/5#PropEr_testing_with_search_strategies.md b/pages_src/Tutorials/5#PropEr_testing_with_search_strategies.md
@@ -1,4 +1,4 @@
-Summary: Tutorial for targeted property-based testing
+Summary: a PropEr targeted tutorial
 Author: Andreas Löscher and Kostis Sagonas
 
 # Targeted Property-Based Testing

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-Summary: Tutorial for targeted property-based testing`
	`1`	`+Summary: a PropEr targeted tutorial`
`2`	`2`	`Author: Andreas Löscher and Kostis Sagonas`
`3`	`3`
`4`	`4`	`# Targeted Property-Based Testing`