calebegg/try-acl2 — Issue #14: Diagnose horizontal scrollbar on iPhone.
Author: calebegg
Created: 2011-11-22 03:30:31+00:00
State: open