- 17:33 Ticket #153 (doc build problem) closed by
- fixed in release 8.2 (converted to defproc)
- 16:58 Ticket #154 (schememodlang/this-package + defmodulelang/this-package) created by
- These would be nice
- 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.