Mercurial > urweb

diff jslib/urweb.js @ 582:66463006f893

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Source containing an int
author Adam Chlipala <adamc@hcoop.net>
date Thu, 01 Jan 2009 10:08:22 -0500
parents bb8463c3b712
children 101eb0058136
line wrap: on
line diff
--- a/jslib/urweb.js	Tue Dec 30 16:11:29 2008 -0500
+++ b/jslib/urweb.js	Thu Jan 01 10:08:22 2009 -0500
@@ -40,3 +40,5 @@
   document.body.appendChild(x);
   s.h = cons(function() { x.innerHTML = s.v }, s.h);
 }
+
+function ts(x) { return x.toString() }