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