# HG changeset patch # User Christian Urban # Date 1320012841 0 # Node ID da83124c29623cd029a859ab65b275cdbcb50c1b # Parent 7c3f6f4f2f80942ab2f82c604e9881aebf38d8e9 added diff -r 7c3f6f4f2f80 -r da83124c2962 Cookbook/index.html --- a/Cookbook/index.html Sun Oct 30 22:11:24 2011 +0000 +++ b/Cookbook/index.html Sun Oct 30 22:14:01 2011 +0000 @@ -6,6 +6,19 @@ Isabelle Programming Tutorial + diff -r 7c3f6f4f2f80 -r da83124c2962 Cookbook/title.html --- a/Cookbook/title.html Sun Oct 30 22:11:24 2011 +0000 +++ b/Cookbook/title.html Sun Oct 30 22:14:01 2011 +0000 @@ -5,19 +5,6 @@ Isabelle Programming Tutorial -