# HG changeset patch # User Christian Urban # Date 1320012684 0 # Node ID 7c3f6f4f2f80942ab2f82c604e9881aebf38d8e9 # Parent 19d64368e92df03e0076e3ba623c46a8d763579f added diff -r 19d64368e92d -r 7c3f6f4f2f80 Cookbook/header-back.jpg Binary file Cookbook/header-back.jpg has changed diff -r 19d64368e92d -r 7c3f6f4f2f80 Cookbook/title.html --- a/Cookbook/title.html Sun Oct 30 22:04:35 2011 +0000 +++ b/Cookbook/title.html Sun Oct 30 22:11:24 2011 +0000 @@ -5,23 +5,26 @@ Isabelle Programming Tutorial + - -

Isabelle Documentation Project

+ +

Isabelle Programming Tutorial

funded by the German Research Foundation (DFG)

- -