bin/spin %%XSPIN%%bin/xspin %%PORTDOCS%%%%DOCSDIR%%/Doc/Book91.Errata %%PORTDOCS%%%%DOCSDIR%%/Doc/Book91.answers %%PORTDOCS%%%%DOCSDIR%%/Doc/Book91.samples %%PORTDOCS%%%%DOCSDIR%%/Doc/Book91_Ch6.add %%PORTDOCS%%%%DOCSDIR%%/Doc/V1.Updates %%PORTDOCS%%%%DOCSDIR%%/Doc/V2.Updates %%PORTDOCS%%%%DOCSDIR%%/Doc/V3.Updates %%PORTDOCS%%%%DOCSDIR%%/Doc/V4.Updates %%PORTDOCS%%%%DOCSDIR%%/Examples/ex.1a %%PORTDOCS%%%%DOCSDIR%%/Examples/ex.1b %%PORTDOCS%%%%DOCSDIR%%/Examples/ex.1c %%PORTDOCS%%%%DOCSDIR%%/Examples/ex.2 %%PORTDOCS%%%%DOCSDIR%%/Examples/ex.3 %%PORTDOCS%%%%DOCSDIR%%/Examples/ex.4b %%PORTDOCS%%%%DOCSDIR%%/Examples/ex.4c %%PORTDOCS%%%%DOCSDIR%%/Examples/ex.5a %%PORTDOCS%%%%DOCSDIR%%/Examples/ex.5b %%PORTDOCS%%%%DOCSDIR%%/Examples/ex.6 %%PORTDOCS%%%%DOCSDIR%%/Examples/ex.7 %%PORTDOCS%%%%DOCSDIR%%/Examples/ex.8 %%PORTDOCS%%%%DOCSDIR%%/Examples/ex.9 %%PORTDOCS%%%%DOCSDIR%%/Examples/ex.9b %%PORTDOCS%%%%DOCSDIR%%/Examples/ex.9c %%PORTDOCS%%%%DOCSDIR%%/Examples/ex.readme %%PORTDOCS%%%%DOCSDIR%%/Test/README.tests %%PORTDOCS%%%%DOCSDIR%%/Test/abp %%PORTDOCS%%%%DOCSDIR%%/Test/eratosthenes %%PORTDOCS%%%%DOCSDIR%%/Test/hello %%PORTDOCS%%%%DOCSDIR%%/Test/leader %%PORTDOCS%%%%DOCSDIR%%/Test/leader.ltl %%PORTDOCS%%%%DOCSDIR%%/Test/leader2 %%PORTDOCS%%%%DOCSDIR%%/Test/leader_trace %%PORTDOCS%%%%DOCSDIR%%/Test/loops %%PORTDOCS%%%%DOCSDIR%%/Test/mobile1 %%PORTDOCS%%%%DOCSDIR%%/Test/mobile1.ltl %%PORTDOCS%%%%DOCSDIR%%/Test/mobile2 %%PORTDOCS%%%%DOCSDIR%%/Test/mobile2.ltl %%PORTDOCS%%%%DOCSDIR%%/Test/pathfinder %%PORTDOCS%%%%DOCSDIR%%/Test/peterson %%PORTDOCS%%%%DOCSDIR%%/Test/petersonN %%PORTDOCS%%%%DOCSDIR%%/Test/pftp %%PORTDOCS%%%%DOCSDIR%%/Test/priorities %%PORTDOCS%%%%DOCSDIR%%/Test/snoopy %%PORTDOCS%%%%DOCSDIR%%/Test/sort %%PORTDOCS%%%%DOCSDIR%%/Test/wordcount @dirrm %%PORTDOCS%%%%DOCSDIR%%/Test @dirrm %%PORTDOCS%%%%DOCSDIR%%/Examples @dirrm %%PORTDOCS%%%%DOCSDIR%%/Doc @dirrm %%PORTDOCS%%%%DOCSDIR%%