and .


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 …
Note: See TracTimeline for information about the timeline view.