http://hg.impredicative.com/urweb/atom-log/tip/tests/num.urpUr/Web: tests/num.urp history2008-10-21T10:34:07-04:00num working for inthttp://hg.impredicative.com/urweb/#changeset-acaf9d19fbb721c2cdd68c0e1144268aa0f389d9Adam Chlipalaadamc@hcoop.net2008-10-21T10:34:07-04:002008-10-21T10:34:07-04:00