Timeline

03/09/09:

10:32 Ticket #152 (SchemeUnit doc linking) closed by schematics

Fixed in the 3.4 release. Thanks.

07:47 Ticket #153 (doc build problem) created by mflatt

refereces/acl2/arithmetic.scrbl has @defform[(ifix [x t]) t] which …

07:32 Ticket #152 (SchemeUnit doc linking) created by mflatt

When SchemeUnit? is installed, there are lots of broken links to the …