--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/scripttags.js	Wed Mar 21 21:15:32 2012 -0700
@@ -0,0 +1,21 @@
+
+function compileAndRun(src)
+{
+	var ast = parser.parse(src);
+	var js = ast.toJSModule();
+	mainModule = eval(js)();
+	mainModule.main();
+}
+
+onReady(function() {
+	var tags = qall('script[type="text/tabletprog"]');
+	for (var i = 0; i < tags.length; ++i) {
+		if (tags[i].src) {
+			get(tags[i].src, function(req) {
+				compileAndRun(req.responseText);
+			});
+		} else {
+			compileAndRun(tags[i].innerHTML);
+		}
+	}
+});