- 10:32 Ticket #152 (SchemeUnit doc linking) closed by
- Fixed in the 3.4 release. Thanks.
- 07:47 Ticket #153 (doc build problem) created by
- refereces/acl2/arithmetic.scrbl has @defform[(ifix [x t]) t] which …
- 07:32 Ticket #152 (SchemeUnit doc linking) created by
- When SchemeUnit? is installed, there are lots of broken links to the …
Note: See TracTimeline for information about the timeline view.