Custom Query (7 matches)


Show under each result:

Ticket Summary Owner Type Status Priority Milestone
#153 doc build problem cce defect closed major
#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
#186 Dracula errors on (just) + or - at REPL cce defect new major
#181 example from docs declares IDistributeLists as a module cce defect new minor
#185 Modular ACL2 reacts poorly to mixing of "code" and exports cce defect new minor
Note: See TracQuery for help on using queries.