http://hg.impredicative.com/urweb/atom-log/tip/tests/csdebug.urUr/Web: tests/csdebug.ur history2011-12-03T16:25:09-05:00Change client-side debug to use console.debughttp://hg.impredicative.com/urweb/#changeset-bd34a4af516a3bdcec5023d30f448c6a2694820fAdam Chlipalaadam@chlipala.net2011-12-03T16:25:09-05:002011-12-03T16:25:09-05:00