1
0
mirror of synced 2026-03-23 09:31:09 +00:00
Files
Interlisp.medley/docs/porter-irm/sample.sketch

3 lines
13 KiB
Plaintext
Raw Permalink Blame History

This file contains invisible Unicode characters
This file contains invisible Unicode characters that are indistinguishable to humans but may be processed differently by a computer. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.
((SKETCH a% figure% from% a% document VERSION 3 PRIRANGE (87 . 0) SKETCHCONTEXT ((ROUND 1 BLACK) (GACHA 12 (BOLD REGULAR REGULAR)) (CENTER BASELINE) (CURVE 18.0 8) NIL NIL (CENTER CENTER) (NIL NIL NIL) T NIL NIL 1 NIL)) ((0.136 88.0 (PRI 1)) (BOX (144.0 296.0 176.0 136.0) (ROUND 2 BLACK) NIL 1 (NIL NIL NIL))) ((0.112 80.0 (PRI 2)) (BOX (152.0 304.0 160.0 112.0) (ROUND 2 BLACK) NIL 1 (NIL NIL NIL))) ((0.05 10.0 (PRI 3)) (TEXT (232.0 . 408.0) ("CVs") 1.0 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((225.0 403.0 14.0 10.0)) NIL)) ((0.05 10.0 (PRI 4)) (TEXT (232.0 . 360.0) ("IVs") 1.0 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((226.5 355.0 11.0 10.0)) NIL)) ((0.05 10.0 (PRI 5)) (TEXT (192.0 . 400.0) ("LeftButtomItems") 1 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((161.0 395.0 62 10)) BLACK)) ((0.0 80.0 (PRI 6)) (WIRE ((152 . 368) (312 . 368)) (ROUND 2 BLACK) NIL NIL 1 (150 366 164 4) NIL)) ((0.05 10.0 (PRI 7)) (TEXT (192.0 . 384.0) (".") 1 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((191.0 379.0 2 10)) BLACK)) ((0.05 10.0 (PRI 8)) (TEXT (192.0 . 384.0) (".") 1 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((191.0 379.0 2 10)) BLACK)) ((0.05 10.0 (PRI 9)) (TEXT (192.0 . 392.0) (".") 1 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((191.0 387.0 2 10)) BLACK)) ((0.05 10.0 (PRI 10)) (TEXT (272.0 . 400.0) ("((Update &)&)") 1 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((244.5 395.0 55 10)) BLACK)) ((0.05 10.0 (PRI 11)) (TEXT (272.0 . 392.0) (".") 1 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((271.0 387.0 2 10)) BLACK)) ((0.05 10.0 (PRI 12)) (TEXT (272.0 . 384.0) (".") 1 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((271.0 379.0 2 10)) BLACK)) ((0.05 10.0 (PRI 13)) (TEXT (232.0 . 424.0) ("Window") 1 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((216.0 419.0 32 10)) BLACK)) ((0.05 10.0 (PRI 14)) (TEXT (192.0 . 352.0) ("width") 1.0 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((181.0 347.0 22.0 10.0)) NIL)) ((0.05 10.0 (PRI 15)) (TEXT (192.0 . 344.0) ("height") 1.0 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((180.0 339.0 24.0 10.0)) NIL)) ((0.05 10.0 (PRI 16)) (TEXT (192.0 . 336.0) ("menus") 1.0 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((179.5 331.0 25.0 10.0)) NIL)) ((0.05 10.0 (PRI 17)) (TEXT (192.0 . 320.0) (".") 1.0 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((191.0 315.0 2.0 10.0)) NIL)) ((0.05 10.0 (PRI 18)) (TEXT (192.0 . 328.0) (".") 1.0 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((191.0 323.0 2.0 10.0)) NIL)) ((0.05 10.0 (PRI 19)) (TEXT (272.0 . 352.0) ("12") 1.0 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((268.0 347.0 8.0 10.0)) NIL)) ((0.05 10.0 (PRI 20)) (TEXT (272.0 . 344.0) ("12") 1.0 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((268.0 339.0 8.0 10.0)) NIL)) ((0.05 10.0 (PRI 21)) (TEXT (272.0 . 336.0) ("T") 1.0 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((270.0 331.0 4.0 10.0)) NIL)) ((0.05 10.0 (PRI 22)) (TEXT (272.0 . 328.0) (".") 1.0 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((271.0 323.0 2.0 10.0)) NIL)) ((0.05 10.0 (PRI 23)) (TEXT (272.0 . 320.0) (".") 1.0 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((271.0 315.0 2.0 10.0)) NIL)) ((0.136 88.0 (PRI 24)) (BOX (144.0 144.0 176.0 136.0) (ROUND 2 BLACK) NIL 1 (NIL NIL NIL))) ((0.112 80.0 (PRI 25)) (BOX (152.0 152.0 160.0 112.0) (ROUND 2 BLACK) NIL 1 (NIL NIL NIL))) ((0.05 10.0 (PRI 26)) (TEXT (232.0 . 256.0) ("CVs") 1.0 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((225.0 251.0 14.0 10.0)) NIL)) ((0.05 10.0 (PRI 27)) (TEXT (232.0 . 208.0) ("IVs") 1.0 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((226.5 203.0 11.0 10.0)) NIL)) ((0.05 10.0 (PRI 28)) (TEXT (192.0 . 248.0) ("LeftButtomItems") 1 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((161.0 243.0 62 10)) BLACK)) ((0.0 80.0 (PRI 29)) (WIRE ((152.0 . 216.0) (312.0 . 216.0)) (ROUND 2 BLACK) NIL NIL 1 (150.0 214.0 164.0 4.0) NIL)) ((0.05 10.0 (PRI 30)) (TEXT (192.0 . 232.0) (".") 1 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((191.0 227.0 2 10)) BLACK)) ((0.05 10.0 (PRI 31)) (TEXT (192.0 . 232.0) (".") 1 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((191.0 227.0 2 10)) BLACK)) ((0.05 10.0 (PRI 32)) (TEXT (192.0 . 240.0) (".") 1 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((191.0 235.0 2 10)) BLACK)) ((0.05 10.0 (PRI 33)) (TEXT (272.0 . 248.0) ("((Boxnode &)&)") 1 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((242.5 243.0 59 10)) BLACK)) ((0.05 10.0 (PRI 34)) (TEXT (272.0 . 240.0) (".") 1 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((271.0 235.0 2 10)) BLACK)) ((0.05 10.0 (PRI 35)) (TEXT (272.0 . 232.0) (".") 1 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((271.0 227.0 2 10)) BLACK)) ((0.05 10.0 (PRI 36)) (TEXT (192.0 . 200.0) ("width") 1.0 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((181.0 195.0 22.0 10.0)) NIL)) ((0.05 10.0 (PRI 37)) (TEXT (192.0 . 192.0) ("height") 1.0 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((180.0 187.0 24.0 10.0)) NIL)) ((0.05 10.0 (PRI 38)) (TEXT (192.0 . 184.0) ("title") 1.0 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((185.0 179.0 14.0 10.0)) NIL)) ((0.05 10.0 (PRI 39)) (TEXT (192.0 . 168.0) (".") 1.0 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((191.0 163.0 2.0 10.0)) NIL)) ((0.05 10.0 (PRI 40)) (TEXT (192.0 . 176.0) (".") 1.0 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((191.0 171.0 2.0 10.0)) NIL)) ((0.05 10.0 (PRI 41)) (TEXT (272.0 . 200.0) ("64") 1.0 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((268.0 195.0 8.0 10.0)) NIL)) ((0.05 10.0 (PRI 42)) (TEXT (272.0 . 192.0) ("32") 1.0 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((268.0 187.0 8.0 10.0)) NIL)) ((0.05 10.0 (PRI 43)) (TEXT (272.0 . 184.0) ("%"Lattice Browser%"") 1.0 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((239.5 179.0 65.0 10.0)) NIL)) ((0.05 10.0 (PRI 44)) (TEXT (272.0 . 176.0) (".") 1.0 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((271.0 171.0 2.0 10.0)) NIL)) ((0.05 10.0 (PRI 45)) (TEXT (272.0 . 168.0) (".") 1.0 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((271.0 163.0 2.0 10.0)) NIL)) ((0.12 88.0 (PRI 46)) (BOX (48.0 8.0 176.0 120.0) (ROUND 2 BLACK) NIL 1 (NIL NIL NIL))) ((0.096 80.0 (PRI 47)) (BOX (56.0 16.0 160.0 96.0) (ROUND 2 BLACK) NIL 1 (NIL NIL NIL))) ((0.05 10.0 (PRI 48)) (TEXT (136.0 . 104.0) ("CVs") 1.0 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((129.0 99.0 14.0 10.0)) NIL)) ((0.05 10.0 (PRI 49)) (TEXT (136.0 . 56.0) ("IVs") 1.0 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((130.5 51.0 11.0 10.0)) NIL)) ((0.05 10.0 (PRI 50)) (TEXT (96.0 . 96.0) ("LeftButtomItems") 1 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((65.0 91.0 62 10)) BLACK)) ((0.0 80.0 (PRI 51)) (WIRE ((56.0 . 64.0) (216.0 . 64.0)) (ROUND 2 BLACK) NIL NIL 1 (54.0 62.0 164.0 4.0) NIL)) ((0.05 10.0 (PRI 52)) (TEXT (96.0 . 80.0) (".") 1 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((95.0 75.0 2 10)) BLACK)) ((0.05 10.0 (PRI 53)) (TEXT (96.0 . 80.0) (".") 1 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((95.0 75.0 2 10)) BLACK)) ((0.05 10.0 (PRI 54)) (TEXT (96.0 . 88.0) (".") 1 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((95.0 83.0 2 10)) BLACK)) ((0.05 10.0 (PRI 55)) (TEXT (176.0 . 88.0) (".") 1 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((175.0 83.0 2 10)) BLACK)) ((0.05 10.0 (PRI 56)) (TEXT (176.0 . 80.0) (".") 1 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((175.0 75.0 2 10)) BLACK)) ((0.12 88.0 (PRI 57)) (BOX (240.0 8.0 176.0 120.0) (ROUND 2 BLACK) NIL 1 (NIL NIL NIL))) ((0.096 80.0 (PRI 58)) (BOX (248.0 16.0 160.0 96.0) (ROUND 2 BLACK) NIL 1 (NIL NIL NIL))) ((0.05 10.0 (PRI 59)) (TEXT (328.0 . 104.0) ("CVs") 1.0 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((321.0 99.0 14.0 10.0)) NIL)) ((0.05 10.0 (PRI 60)) (TEXT (328.0 . 56.0) ("IVs") 1.0 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((322.5 51.0 11.0 10.0)) NIL)) ((0.05 10.0 (PRI 61)) (TEXT (288.0 . 96.0) ("LeftButtomItems") 1 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((257.0 91.0 62 10)) BLACK)) ((0.0 80.0 (PRI 62)) (WIRE ((248.0 . 64.0) (408.0 . 64.0)) (ROUND 2 BLACK) NIL NIL 1 (246.0 62.0 164.0 4.0) NIL)) ((0.05 10.0 (PRI 63)) (TEXT (288.0 . 80.0) (".") 1 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((287.0 75.0 2 10)) BLACK)) ((0.05 10.0 (PRI 64)) (TEXT (288.0 . 80.0) (".") 1 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((287.0 75.0 2 10)) BLACK)) ((0.05 10.0 (PRI 65)) (TEXT (288.0 . 88.0) (".") 1 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((287.0 83.0 2 10)) BLACK)) ((0.05 10.0 (PRI 66)) (TEXT (368.0 . 96.0) ("((Recompute &)&)") 1 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((334.0 91.0 68 10)) BLACK)) ((0.05 10.0 (PRI 67)) (TEXT (368.0 . 88.0) (".") 1 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((367.0 83.0 2 10)) BLACK)) ((0.05 10.0 (PRI 68)) (TEXT (368.0 . 80.0) (".") 1 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((367.0 75.0 2 10)) BLACK)) ((0.05 10.0 (PRI 69)) (TEXT (328.0 . 120.0) ("InstanceBrowser") 1 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((297.0 115.0 62 10)) BLACK)) ((0.05 10.0 (PRI 70)) (TEXT (232.0 . 272.0) ("LatticeBrowser") 1 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((204.5 267.0 55 10)) BLACK)) ((0.05 10.0 (PRI 71)) (TEXT (136.0 . 120.0) ("ClassBrowser") 1 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((111.0 115.0 50 10)) BLACK)) ((0.05 10.0 (PRI 72)) (TEXT (176.0 . 96.0) ("((PrintSummary &)&)") 1 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((137.5 91.0 77 10)) BLACK)) ((0.05 10.0 (PRI 73)) (TEXT (96.0 . 48.0) ("title") 1.0 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((89.0 43.0 14.0 10.0)) NIL)) ((0.05 10.0 (PRI 74)) (TEXT (176.0 . 48.0) ("%"Class Browser%"") 1.0 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((146.0 43.0 60.0 10.0)) NIL)) ((0.05 10.0 (PRI 75)) (TEXT (96.0 . 40.0) (".") 1.0 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((95.0 35.0 2.0 10.0)) NIL)) ((0.05 10.0 (PRI 76)) (TEXT (96.0 . 32.0) (".") 1 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((95.0 27.0 2 10)) BLACK)) ((0.05 10.0 (PRI 77)) (TEXT (176.0 . 40.0) (".") 1 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((175.0 35.0 2 10)) BLACK)) ((0.05 10.0 (PRI 78)) (TEXT (176.0 . 32.0) (".") 1 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((175.0 27.0 2 10)) BLACK)) ((0.05 10.0 (PRI 79)) (TEXT (288.0 . 48.0) ("title") 1 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((281.0 43.0 14 10)) BLACK)) ((0.05 10.0 (PRI 80)) (TEXT (368.0 . 48.0) ("%"Instance Browser%"") 1 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((332.0 43.0 72 10)) BLACK)) ((0.05 10.0 (PRI 81)) (TEXT (288.0 . 40.0) ("subIV") 1 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((277.5 35.0 21 10)) BLACK)) ((0.05 10.0 (PRI 82)) (TEXT (368.0 . 40.0) ("NIL") 1 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((362.0 35.0 12 10)) BLACK)) ((0.05 10.0 (PRI 83)) (TEXT (288.0 . 32.0) (".") 1 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((287.0 27.0 2 10)) BLACK)) ((0.05 10.0 (PRI 84)) (TEXT (368.0 . 32.0) (".") 1 (CENTER CENTER) (MODERN 8 (BOLD REGULAR REGULAR)) ((367.0 27.0 2 10)) BLACK)) ((0.0 8.0 (PRI 85)) (WIRE ((232 . 296) (232 . 280)) (ROUND 2 BLACK) NIL NIL 1 (230 278 4 20) NIL)) ((0.0 48.0 (PRI 86)) (WIRE ((232 . 144) (136 . 128)) (ROUND 2 BLACK) NIL NIL 1 (134 126 100 20) NIL)) ((0.0 48.0 (PRI 87)) (WIRE ((232 . 144) (328 . 128)) (ROUND 2 BLACK) NIL NIL 1 (230 126 100 20) NIL)))
(46.0 6.0 372.0 428.0)
1.0
8
(LIST ((PAGE NIL (PAPERSIZE NIL) (0 0 612 792) ((TEXT NIL NIL (0 0 612 792) NIL))) (PAGE NIL (PAPERSIZE NIL) (0 0 612 792) ((TEXT NIL NIL (0 0 612 792) NIL))) (PAGE NIL (PAPERSIZE NIL) (0 0 612 792) ((TEXT NIL NIL (0 0 612 792) NIL))))),VH(DEFAULTFONT 1 (GACHA 10) (GACHA 8) (TERMINAL 8) (POSTSCRIPT (GACHA 8)))
1I SKIO.GETFN.2VH(DEFAULTFONT 1 (GACHA 10) (GACHA 8) (TERMINAL 8) (POSTSCRIPT (GACHA 8)))
1I