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/index.html
changeset 26 19d64368e92d
parent 25 8355bfc8d35d
child 28 da83124c2962 
--- a/Cookbook/index.html	Sun Oct 30 21:57:49 2011 +0000
+++ b/Cookbook/index.html	Sun Oct 30 22:04:35 2011 +0000
@@ -3,7 +3,7 @@
 <html>
 <head>
     <meta content="text/html; charset=ISO-8859-1" http-equiv="content-type">
-    <title>Nominal Methods Group</title>
+    <title>Isabelle Programming Tutorial</title>
     <link rel="stylesheet" href="nominal.css">
     <BASE HREF="http://www.inf.kcl.ac.uk/staff/urbanc/">
 </head>
public_html