Custom Query (7 matches)
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.