| Ticket Id | Component | Reporter | Type | Version |
|---|
| 154 | cce/scheme.plt | anonymous | enhancement | (4 1) |
| schememodlang/this-package + defmodulelang/this-package |
| 158 | cce/scheme.plt | dherman | enhancement | (4 1) |
| Feature request: lang/this-package |
| 182 | cce/dracula.plt | pnkfelix | defect | |
| example from docs defines MDistributive module twice (and MDistributeLists not at all) |
| 183 | cce/dracula.plt | pnkfelix | defect | |
| dracula rename export example from reference docs does not work |
| 184 | cce/dracula.plt | pnkfelix | defect | |
| modular acl2 unresolved import problem, useless error message |
| 186 | cce/dracula.plt | pnkfelix | defect | |
| Dracula errors on (just) + or - at REPL |
| 200 | cce/scheme.plt | cobbe | defect | (4 1) |
| apparent Scribble error during package installation |
| 234 | cce/scheme.plt | Sam TH | defect | (6 0) |
| slide/stage |
| 235 | cce/scheme.plt | Sam TH | defect | (6 0) |
| add name? to staged |
| 181 | cce/dracula.plt | pnkfelix | defect | |
| example from docs declares IDistributeLists as a module |
| 185 | cce/dracula.plt | pnkfelix | defect | |
| Modular ACL2 reacts poorly to mixing of "code" and exports |
| 236 | cce/scheme.plt | sstrickl@… | enhancement | 6.0 |
| pict-* from scheme/slideshow should combine in the order of the clauses |
| 327 | cce/fasttest.plt | jmj@… | defect | (3 9) |
| require error on installing |
![[logo]](/logo.png){kind=logo}