http://hg.impredicative.com/urweb/atom-log/tip/tests/mouseEvent.urUr/Web: tests/mouseEvent.ur history2012-07-21T10:02:53-04:00New event records for key and mouse handlershttp://hg.impredicative.com/urweb/#changeset-5bc4fbf9c0fe84f1fb5aaf9d80f57369e492541aAdam Chlipalaadam@chlipala.net2012-07-21T10:02:53-04:002012-07-21T10:02:53-04:00