@comment PKG_FORMAT_REVISION:1.1
@name spin-3.4.9_1
@cwd /usr/local
bin/spin
@comment MD5:184b53d5fd534567fe5a5b935caf8b8a
bin/xspin
@comment MD5:ed974704ca3ae4d11b739755c801fdf8
bin/xspin347.tcl
@comment MD5:e02877c7206164a287f8e20e841f7747
share/doc/spin/Doc/Book.Ch6.add
@comment MD5:0bdbc46c5ef5996a84fc4783e304f13d
share/doc/spin/Doc/Book.Errata
@comment MD5:323739529dbfe926ed927df762de6c80
share/doc/spin/Doc/Book.answers
@comment MD5:a2bbeeee531bdc2bda1c3d65da0dae70
share/doc/spin/Doc/Book.samples
@comment MD5:0b53c1f4e3c6b0e9759fd89140daa8a6
share/doc/spin/Doc/V1.Updates
@comment MD5:11a5f69300c3390331794556d628196a
share/doc/spin/Doc/V2.Updates
@comment MD5:9d49a3ec2c0ada53f2e3c4a4390dd874
share/doc/spin/Doc/V3.Updates
@comment MD5:9d2cce1fb3c6d4c743202a835daf486a
share/doc/spin/Examples/ex.1a
@comment MD5:16a705c47e27b09da80cac1c6f2a299c
share/doc/spin/Examples/ex.1b
@comment MD5:c16c9ec8b7d940b3ca70e149fdbb63c9
share/doc/spin/Examples/ex.1c
@comment MD5:d0f878aff1198189a49f872fe4ceb19b
share/doc/spin/Examples/ex.2
@comment MD5:5632f16b57c90eb2dfd19c1301faf753
share/doc/spin/Examples/ex.3
@comment MD5:2e905b63056a934b2e0ea1dad0db1da6
share/doc/spin/Examples/ex.4b
@comment MD5:c96cac9178e4aa2938d337c8277cd8b3
share/doc/spin/Examples/ex.4c
@comment MD5:6aa1032ec9005032cb58657cc0ca146b
share/doc/spin/Examples/ex.5a
@comment MD5:05b2ada501e78046d603666ff1408ed5
share/doc/spin/Examples/ex.5b
@comment MD5:1a08bb9dc62dc6fbde5810fb70a8b858
share/doc/spin/Examples/ex.6
@comment MD5:305e283ab797ca060588d6e893a9bc78
share/doc/spin/Examples/ex.7
@comment MD5:fe4cc8492e80934a61e7c584de137fa1
share/doc/spin/Examples/ex.8
@comment MD5:e28feac5edf3dad7f5c6625d444774f8
share/doc/spin/Examples/ex.9
@comment MD5:fe0269aa0fa392239755eca3592a9507
share/doc/spin/Examples/ex.9b
@comment MD5:92ae9edcc4a292d8fa50b95dd88ea814
share/doc/spin/Examples/ex.9c
@comment MD5:bb3151ffb7857f198d55b3a96e84e038
share/doc/spin/Examples/ex.readme
@comment MD5:85af9341983251eb3cd3068ae1027869
share/doc/spin/HTML/Exercises.html
@comment MD5:c686e6af01273623ae01289b1f13b25c
share/doc/spin/HTML/GettingStarted.html
@comment MD5:c55070960fcbd0f6d60bcb31f5281384
share/doc/spin/HTML/Intro.html
@comment MD5:00406cafb73ab44421777e9d39dae869
share/doc/spin/HTML/Manual.html
@comment MD5:ae09b4866f2cf08d77579ea81fe10bb4
share/doc/spin/HTML/Pan.html
@comment MD5:3d7e8788c7f9426a037f055a271abfaf
share/doc/spin/HTML/Quick.html
@comment MD5:e0ca87d3ed24b8045dd2248d52300a13
share/doc/spin/HTML/README.html
@comment MD5:c56d11814436d84944c3bde85100052e
share/doc/spin/HTML/Roadmap.html
@comment MD5:f0da4798e271148d862a9ea98f47f176
share/doc/spin/HTML/Spin.html
@comment MD5:fffc0e26ff9d0afff7f3f562f17fcbc2
share/doc/spin/HTML/WhatsNew.html
@comment MD5:c3f70a40264cf9c2af25f9cf12548a96
share/doc/spin/HTML/_.html
@comment MD5:d9bd1edb1a109cd03e87aed93d116c93
share/doc/spin/HTML/_last.html
@comment MD5:7e5b62b4a07005a052a0fd5674904d39
share/doc/spin/HTML/_pid.html
@comment MD5:7e215bfc51e1bbd1fcc7cea9b41a54b1
share/doc/spin/HTML/accept.html
@comment MD5:3ee7d23367c47c7aaeb7d75d0b7ec9e5
share/doc/spin/HTML/active.html
@comment MD5:00e3a1923bcc4ec7c419be85ee92082a
share/doc/spin/HTML/arrays.html
@comment MD5:44b49909c8e6d301c70251c61866d755
share/doc/spin/HTML/assert.html
@comment MD5:a85fc925b85641f45237fbfb85449411
share/doc/spin/HTML/assign.html
@comment MD5:5ba85b81000a43402dc7b76733883657
share/doc/spin/HTML/atomic.html
@comment MD5:2cfcb734f448e3fa96bc8af625036850
share/doc/spin/HTML/break.html
@comment MD5:3c9eeec11b335449b490fc5414e65cdc
share/doc/spin/HTML/chan.html
@comment MD5:8e10eb94106d7dfb44897a4e108aff5a
share/doc/spin/HTML/comments.html
@comment MD5:9e55a18c9d075812dbc2051cec1a58df
share/doc/spin/HTML/cond_expr.html
@comment MD5:a7024c84cecd32161334b6fcfa9f3b3b
share/doc/spin/HTML/condition.html
@comment MD5:08eb0469f18ec5001098d67868ad35ff
share/doc/spin/HTML/d_step.html
@comment MD5:afff285abffacd601098daae2aa2dd39
share/doc/spin/HTML/datatypes.html
@comment MD5:9588abf7110a1924a50064c277ca2bcc
share/doc/spin/HTML/do.html
@comment MD5:79ebe764cac98a72204cdfd29cd2c523
share/doc/spin/HTML/else.html
@comment MD5:9e91ea02a5ea0fdb5ec6be582e34fdd9
share/doc/spin/HTML/empty.html
@comment MD5:596f5281fde337197eb20b7cc9e2a617
share/doc/spin/HTML/enabled.html
@comment MD5:c957898bd2867814d99867b8d22718ea
share/doc/spin/HTML/end.html
@comment MD5:b68c884a570c5f9dbe93b53342a5df89
share/doc/spin/HTML/eval.html
@comment MD5:942589e9845349c00822bfa65ed2f5fb
share/doc/spin/HTML/false.html
@comment MD5:0363b00c8a7da4ac4dc142b5ae2ca1d0
share/doc/spin/HTML/float.html
@comment MD5:a4a39461e172c35e8ccd5da443da2640
share/doc/spin/HTML/full.html
@comment MD5:59ee305b607455df58a741800a694d17
share/doc/spin/HTML/goto.html
@comment MD5:3916af889d4c266929d325a284a9481b
share/doc/spin/HTML/grammar.html
@comment MD5:39db4a3b70cfd30238cfbcfe89eedad2
share/doc/spin/HTML/hidden.html
@comment MD5:e9141a81f1e5a8dcc85cbeb97f0cf5d1
share/doc/spin/HTML/hierarchy.html
@comment MD5:e24da6ce2a54296b76e7c22230762362
share/doc/spin/HTML/if.html
@comment MD5:3264baf640d1471b1113f8ab131117e2
share/doc/spin/HTML/index.html
@comment MD5:8d0f7e5877c198d0afdad5201717c8ed
share/doc/spin/HTML/init.html
@comment MD5:19154cdc205e95ca3524740a9dc530be
share/doc/spin/HTML/inline.html
@comment MD5:b4fafb19aa6af74ae320f9b216c96998
share/doc/spin/HTML/labels.html
@comment MD5:9232447581aadfef499f8e0b37613b58
share/doc/spin/HTML/len.html
@comment MD5:dc75d30af055a9e3e9467888e71aa409
share/doc/spin/HTML/local.html
@comment MD5:78faa792647d3dd623635fd1fac7844b
share/doc/spin/HTML/ltl.html
@comment MD5:d49de05cc44437661352defdc4efe98f
share/doc/spin/HTML/macros.html
@comment MD5:7271b8bbe16370da65bbb3bd8b12ca76
share/doc/spin/HTML/mtype.html
@comment MD5:8ab818428704d1a89795aecccc8fe488
share/doc/spin/HTML/nempty.html
@comment MD5:473a8aa44672bfdf938c209fb8039846
share/doc/spin/HTML/never.html
@comment MD5:8bc4f64a15bef9380026ebb85a53ce8b
share/doc/spin/HTML/nfull.html
@comment MD5:092181939b21c5e3c6ea96bc87eb77de
share/doc/spin/HTML/notrace.html
@comment MD5:f1d3c2abb05a9886620bfc60a2a0e423
share/doc/spin/HTML/np_.html
@comment MD5:ba4640dd808082420dc029a6b046c186
share/doc/spin/HTML/pc_value.html
@comment MD5:28e675de028f8e64e98ed2c0b9c947a1
share/doc/spin/HTML/pointers.html
@comment MD5:43cae5295b455d923e94da97008e687b
share/doc/spin/HTML/poll.html
@comment MD5:afa155949b9b0dab0d03278b71bd145d
share/doc/spin/HTML/printf.html
@comment MD5:198f0249d1f9e9eb0390affa72830c90
share/doc/spin/HTML/priority.html
@comment MD5:18b98a0d35286c8e4aff5bea2ec02db0
share/doc/spin/HTML/probabilities.html
@comment MD5:822fdf300cfdc8bff2331859b6be15c9
share/doc/spin/HTML/procedures.html
@comment MD5:f542058a9e17969d139ed79996f634c3
share/doc/spin/HTML/proctype.html
@comment MD5:0212e46d772a861d497a7de4516c9dab
share/doc/spin/HTML/progress.html
@comment MD5:9450f09314e133643a02dfd25e667a3c
share/doc/spin/HTML/promela.html
@comment MD5:b5f395e1705a0a84166514a743bd2100
share/doc/spin/HTML/provided.html
@comment MD5:d31cde6d3db94e9eb16c117710661b2a
share/doc/spin/HTML/rand.html
@comment MD5:98e1d29fcdc2cd3e79854e156196adac
share/doc/spin/HTML/realtime.html
@comment MD5:e03f3ea2133c4d5385f2b609e3375b3e
share/doc/spin/HTML/receive.html
@comment MD5:9ccae14cb87601417ceadaceed35b779
share/doc/spin/HTML/remoterefs.html
@comment MD5:97e27dab36375908ef1f1cf4816a5b2a
share/doc/spin/HTML/run.html
@comment MD5:35a6f4b80899ce566df10b2aa302ec57
share/doc/spin/HTML/scanf.html
@comment MD5:1adac8d65df04cc26c80dc8840a17c56
share/doc/spin/HTML/send.html
@comment MD5:3aa69e0fb5fd526c36dc23ec7de4847d
share/doc/spin/HTML/separators.html
@comment MD5:7a63c1edf10b98c6304acc89aa743ede
share/doc/spin/HTML/sequence.html
@comment MD5:cccb89ecadc8c82bf7af605ec40cd293
share/doc/spin/HTML/show.html
@comment MD5:83cd94d6033ba9a2ee9f5dc526126b06
share/doc/spin/HTML/skip.html
@comment MD5:18687ce1735bd1150e31ec841ed17bd2
share/doc/spin/HTML/stdin.html
@comment MD5:15ffe608efe0eac80a1e0dda8ee62662
share/doc/spin/HTML/timeout.html
@comment MD5:cf0a5cbaffcd293dd986a7f896f49a1a
share/doc/spin/HTML/trace.html
@comment MD5:63a2f637094cf1ef2a901618a8bff772
share/doc/spin/HTML/true.html
@comment MD5:1aba95dd8f8c6f48761599af7f881899
share/doc/spin/HTML/typedef.html
@comment MD5:6d21e7067f89b2f65e87c4bf92e405be
share/doc/spin/HTML/unless.html
@comment MD5:c642776f158662ed5c5ea1abc7f450b6
share/doc/spin/HTML/xr.html
@comment MD5:84d6b53f32fbf6ebdf288d3b0471b4e1
share/doc/spin/HTML/xs.html
@comment MD5:7161b3c8dedc45e1174d3b035bfd2317
share/doc/spin/Test/README.tests
@comment MD5:0fabe439507ad902efa12b49db63b031
share/doc/spin/Test/abp
@comment MD5:c95217dc117519f2047876265166a887
share/doc/spin/Test/erathostenes
@comment MD5:5e1b5230a571b31c92237dbf8093421e
share/doc/spin/Test/hello
@comment MD5:535bcf0b2980a5bb17019be6451958c8
share/doc/spin/Test/leader
@comment MD5:11fc20cc96a5dedeb7de585507e037e6
share/doc/spin/Test/leader.ltl
@comment MD5:f2d75ee3f682cb37e8318ab712921ebe
share/doc/spin/Test/leader2
@comment MD5:a97e433cb06d95e4e691e0cc5ffd2c53
share/doc/spin/Test/loops
@comment MD5:60bf6b5075fda02cc448ab625d31d7a2
share/doc/spin/Test/mobile1
@comment MD5:1eec941c9f1475f0ae2a9852d683e0ec
share/doc/spin/Test/mobile1.ltl
@comment MD5:0cc14d2b0bccb3cf31cb8276134b4496
share/doc/spin/Test/mobile2
@comment MD5:9048c795ff7e34af4e54a2927a68c0a9
share/doc/spin/Test/mobile2.ltl
@comment MD5:d480e6f145fd22a9a2343610ecd353cb
share/doc/spin/Test/pathfinder
@comment MD5:3ef365dc089b79d89fb07d106a4e7035
share/doc/spin/Test/peterson
@comment MD5:97cb018a0966b3475206b5198b0ef10d
share/doc/spin/Test/petersonN
@comment MD5:2465b1f47777cb1592daabf7402df384
share/doc/spin/Test/pftp
@comment MD5:8b5dad8a79a7929cfbdc02748e7388e1
share/doc/spin/Test/priorities
@comment MD5:8c3cd1e1dcc286fa14378c8ee518d541
share/doc/spin/Test/snoopy
@comment MD5:5b42d677587feb29041ae97e5e3915ea
share/doc/spin/Test/sort
@comment MD5:0999f8025b4417fd2d51f80f9db806c7
share/doc/spin/Test/wordcount
@comment MD5:82434c3e864e957a8b65aaa94e961267
@dirrm share/doc/spin/Test
@dirrm share/doc/spin/HTML
@dirrm share/doc/spin/Examples
@dirrm share/doc/spin/Doc
@dirrm share/doc/spin
@cwd .
@ignore
+COMMENT
@ignore
+DESC
