id,summary,reporter,owner,description,type,status,priority,milestone,component,resolution,keywords,cc,planetversion,pltversion
153,doc build problem,mflatt,cce,"refereces/acl2/arithmetic.scrbl has

 @defform[(ifix [x t]) t]

which doesn't work, because the second `t' is treated as an
expression. I think the `t' needs to be removed; maybe it's a
leftover from changing `defproc' to `defform'?",defect,closed,major,,cce/dracula.plt,,,,(8 1),4.1.3.4