id summary owner type status priority milestone 153 doc build problem cce defect closed major 181 example from docs declares IDistributeLists as a module cce defect new minor 182 example from docs defines MDistributive module twice (and MDistributeLists not at all) cce defect new major 183 dracula rename export example from reference docs does not work cce defect new major 184 modular acl2 unresolved import problem, useless error message cce defect new major 185 "Modular ACL2 reacts poorly to mixing of ""code"" and exports" cce defect new minor 186 Dracula errors on (just) + or - at REPL cce defect new major