changeset 553:cb81f74d8c92

Add Amazon OneLink
author Adam Chlipala <adam@chlipala.net>
date Sat, 19 Aug 2017 12:14:26 -0400
parents 306539f29eea
children 93471096cdd4
files staging/index.html
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/staging/index.html	Thu May 12 18:09:36 2016 -0500
+++ b/staging/index.html	Sat Aug 19 12:14:26 2017 -0400
@@ -87,4 +87,6 @@
 <p>Previous versions included a final Part on programming language semantics in particular.  I have decided to separate that part out.  I plan to put it up as a supplementary resource eventually; for now it is simply removed.  (It remains present in the <a href="repo">Mercurial</a> history.)</p>
 </div>
 
+<script src="//z-na.amazon-adsystem.com/widgets/onejs?MarketPlace=US&adInstanceId=14c7f9de-2f5e-4edd-af33-33d7e49e3296"></script>
+
 </body></html>