Mercurial Mercurial > hg > public_html / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Cookbook/title.html
changeset 26 19d64368e92d
parent 25 8355bfc8d35d
child 27 7c3f6f4f2f80 
--- a/Cookbook/title.html	Sun Oct 30 21:57:49 2011 +0000
+++ b/Cookbook/title.html	Sun Oct 30 22:04:35 2011 +0000
@@ -2,13 +2,13 @@
 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
 <html>
 <head>
-  <title>The Nominal Datatype Package</title>
+  <title>Isabelle Programming Tutorial</title>
   <link rel="stylesheet" href="nominal.css">
   <BASE HREF="http://www.inf.kcl.ac.uk/staff/urbanc/">
 </head>
 
 <body style="background-image: url(graphics/header-back.jpg);">
-<img src="http://www.inf.kcl.ac.uk/staff/urbanc/activities/idp/logo-documentation.gif" alt="Isabelle Documentation Project" style="border-width: 0px;" align="left">
+<img src="Cookbook/logo-documentation.gif" alt="Isabelle Documentation Project" style="border-width: 0px;" align="left">
 <h1>Isabelle Documentation Project</h1>
 <P ALIGN=right>
 <I>funded by the German Research Foundation (<A HREF="http://www.dfg.de/en" target="_top">DFG</A>)</I>
public_html