and .


17:33 Ticket #153 (doc build problem) closed by cce
fixed in release 8.2 (converted to defproc)
16:58 Ticket #154 (schememodlang/this-package + defmodulelang/this-package) created by anonymous
These would be nice


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.