# HG changeset patch # User Christian Urban # Date 1500394771 -3600 # Node ID a6f2847465eb3a95bdd56a265e6363071400c57f # Parent ce53d799ee643b74a581d57842e83d1e56b953b4 updated diff -r ce53d799ee64 -r a6f2847465eb Cookbook/index.html --- a/Cookbook/index.html Fri Jun 16 21:49:32 2017 +0100 +++ b/Cookbook/index.html Tue Jul 18 17:19:31 2017 +0100 @@ -5,7 +5,7 @@ Isabelle Programming Tutorial - +