Loading documentation/index.html +16 −10 Original line number Diff line number Diff line Loading @@ -9,6 +9,21 @@ content="text/html; charset=iso-8859-1"> <link rev="made" href="mailto:lhealy@common-lisp.net"> <link rel="stylesheet" type="text/css" href="site.css"> <script type="text/javascript"> var _gaq = _gaq || []; _gaq.push(['_setAccount', 'UA-25052371-1']); _gaq.push(['_setDomainName', 'none']); _gaq.push(['_setAllowLinker', true]); _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> <div id="banner"> Loading Loading @@ -336,18 +351,9 @@ four-digit number; please attach them all to your email. <!-- Created: Feb 25 2005 --> <!-- hhmts start --> <small> Time-stamp: <2010-10-12 17:46:29EDT index.html> Time-stamp: <2011-08-09 22:37:23EDT index.html> </small> <!-- hhmts end --> </div> <script type="text/javascript"> var gaJsHost = (("https:" == document.location.protocol) ? "https://ssl." : "http://www."); document.write(unescape("%3Cscript src='" + gaJsHost + "google-analytics.com/ga.js' type='text/javascript'%3E%3C/script%3E")); </script> <script type="text/javascript"> var pageTracker = _gat._getTracker("UA-3669275-1"); pageTracker._initData(); pageTracker._trackPageview(); </script> </body> </html> Loading
documentation/index.html +16 −10 Original line number Diff line number Diff line Loading @@ -9,6 +9,21 @@ content="text/html; charset=iso-8859-1"> <link rev="made" href="mailto:lhealy@common-lisp.net"> <link rel="stylesheet" type="text/css" href="site.css"> <script type="text/javascript"> var _gaq = _gaq || []; _gaq.push(['_setAccount', 'UA-25052371-1']); _gaq.push(['_setDomainName', 'none']); _gaq.push(['_setAllowLinker', true]); _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> <div id="banner"> Loading Loading @@ -336,18 +351,9 @@ four-digit number; please attach them all to your email. <!-- Created: Feb 25 2005 --> <!-- hhmts start --> <small> Time-stamp: <2010-10-12 17:46:29EDT index.html> Time-stamp: <2011-08-09 22:37:23EDT index.html> </small> <!-- hhmts end --> </div> <script type="text/javascript"> var gaJsHost = (("https:" == document.location.protocol) ? "https://ssl." : "http://www."); document.write(unescape("%3Cscript src='" + gaJsHost + "google-analytics.com/ga.js' type='text/javascript'%3E%3C/script%3E")); </script> <script type="text/javascript"> var pageTracker = _gat._getTracker("UA-3669275-1"); pageTracker._initData(); pageTracker._trackPageview(); </script> </body> </html>