calebegg/try-acl2 — Issue #16: Experiment with 40-col wrap on small widths
Author: calebegg
Created: 2011-11-22 05:33:28+00:00
State: open