Mercurial Mercurial > hg > public_html / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added
authorChristian Urban <urbanc@in.tum.de>
Sun, 30 Oct 2011 22:14:01 +0000
changeset 28 da83124c2962
parent 27 7c3f6f4f2f80
child 29 329631227e7a
added
Cookbook/index.html file | annotate | diff | comparison | revisions
Cookbook/title.html file | annotate | diff | comparison | revisions 
--- 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 @@
     <title>Isabelle Programming Tutorial</title>
     <link rel="stylesheet" href="nominal.css">
     <BASE HREF="http://www.inf.kcl.ac.uk/staff/urbanc/">
+    <script type="text/javascript">
+
+  var _gaq = _gaq || [];
+  _gaq.push(['_setAccount', 'UA-4143458-5']);
+  _gaq.push(['_trackPageview']);
+
+  (function() {
+    var ga = document.createElement('script'); ga.type = 'text/javascript'; ga.async = true;
+    ga.src = ('https:' == document.location.protocol ? 'https://ssl' : 'http://www') + '.google-analytics.com/ga.js';
+    var s = document.getElementsByTagName('script')[0]; s.parentNode.insertBefore(ga, s);
+  })();
+
+</script>
 </head>
 
   <frameset ROWS="130,*"> 
--- 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 @@
   <title>Isabelle Programming Tutorial</title>
   <link rel="stylesheet" href="nominal.css">
   <BASE HREF="http://www.inf.kcl.ac.uk/staff/urbanc/">
-  <script type="text/javascript">
-
-  var _gaq = _gaq || [];
-  _gaq.push(['_setAccount', 'UA-4143458-5']);
-  _gaq.push(['_trackPageview']);
-
-  (function() {
-    var ga = document.createElement('script'); ga.type = 'text/javascript'; ga.async = true;
-    ga.src = ('https:' == document.location.protocol ? 'https://ssl' : 'http://www') + '.google-analytics.com/ga.js';
-    var s = document.getElementsByTagName('script')[0]; s.parentNode.insertBefore(ga, s);
-  })();
-
-</script>
 </head>
 
 <body style="background-image: url(Cookbook/header-back.jpg);">
public_html