| Name | Size | Mode | Actions |
|---|---|---|---|
| box.lefty | 3613 | 0644 | editdlrm |
| def.lefty | 459 | 0644 | editdlrm |
| dotty.lefty | 23036 | 0644 | editdlrm |
| dotty_draw.lefty | 19946 | 0644 | editdlrm |
| dotty_edit.lefty | 18046 | 0644 | editdlrm |
| dotty_layout.lefty | 14570 | 0644 | editdlrm |
| dotty_ui.lefty | 14210 | 0644 | editdlrm |
| fractal.lefty | 2716 | 0644 | editdlrm |
| fractal2.lefty | 5751 | 0644 | editdlrm |
| lefty.psp | 2423 | 0644 | editdlrm |
| slides.lefty | 3198 | 0644 | editdlrm |
| tree.lefty | 5014 | 0644 | editdlrm |