--- 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);">