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