calebegg/try-acl2 — Issue #13: Doesn't work in Internet Explorer 9
Author: alexeyr
Created: 2011-11-19 21:56:37+00:00
State: open

When I enter `(+ 1 2)` and press Enter in IE 9, nothing happens. `3` is not shown.