devel/spin/pkg-plist

   1 bin/spin
   2 %%ISPIN%%bin/ispin
   3 man/man1/spin.1.gz
   4 %%PORTDOCS%%%%DOCSDIR%%/Doc/1_Exercises.html
   5 %%PORTDOCS%%%%DOCSDIR%%/Doc/3_SpinGUI.html
   6 %%PORTDOCS%%%%DOCSDIR%%/Doc/4_SpinVerification.html
   7 %%PORTDOCS%%%%DOCSDIR%%/Doc/Book1991_Ch6_add.txt
   8 %%PORTDOCS%%%%DOCSDIR%%/Doc/Book1991_Errata.txt
   9 %%PORTDOCS%%%%DOCSDIR%%/Doc/Book1991_answers.txt
  10 %%PORTDOCS%%%%DOCSDIR%%/Doc/Book2003_Errata.html
  11 %%PORTDOCS%%%%DOCSDIR%%/Doc/Intro.html
  12 %%PORTDOCS%%%%DOCSDIR%%/Doc/Manual.html
  13 %%PORTDOCS%%%%DOCSDIR%%/Doc/Pan.html
  14 %%PORTDOCS%%%%DOCSDIR%%/Doc/Quick.html
  15 %%PORTDOCS%%%%DOCSDIR%%/Doc/README.html
  16 %%PORTDOCS%%%%DOCSDIR%%/Doc/Spin.html
  17 %%PORTDOCS%%%%DOCSDIR%%/Doc/V1.Updates
  18 %%PORTDOCS%%%%DOCSDIR%%/Doc/V2.Updates
  19 %%PORTDOCS%%%%DOCSDIR%%/Doc/V3.Updates
  20 %%PORTDOCS%%%%DOCSDIR%%/Doc/V4.Updates
  21 %%PORTDOCS%%%%DOCSDIR%%/Doc/V5.Updates
  22 %%PORTDOCS%%%%DOCSDIR%%/Doc/V6.Updates
  23 %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/App.F.datalink.h
  24 %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/App.F.defines.h
  25 %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/App.F.flow_cl.h
  26 %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/App.F.fserver.h
  27 %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/App.F.pftp.pml
  28 %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/App.F.present.h
  29 %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/App.F.session.h
  30 %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/App.F.user.h
  31 %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/README.txt
  32 %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p101.pml
  33 %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p102.pml
  34 %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p104.1.pml
  35 %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p104.2.pml
  36 %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p105.1.pml
  37 %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p105.2.pml
  38 %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p107.pml
  39 %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p108.pml
  40 %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p116.pml
  41 %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p117.pml
  42 %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p123.pml
  43 %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p248.pml
  44 %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p312.pml
  45 %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p319.pml
  46 %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p320.pml
  47 %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p325.test.h
  48 %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p327.upper.h
  49 %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p329.pml
  50 %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p330.pml
  51 %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p337.defines2.h
  52 %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p337.fserver.h
  53 %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p337.pftp.ses.pml
  54 %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p337.session.h
  55 %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p337.user.h
  56 %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p342.pftp.ses1.h
  57 %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p343.claim.h
  58 %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p347.pftp.ses5.pml
  59 %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p347.pres.sim.h
  60 %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p347.session.prog.h
  61 %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p94.pml
  62 %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p95.1.pml
  63 %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p95.2.pml
  64 %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p96.1.pml
  65 %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p96.2.pml
  66 %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p97.1.pml
  67 %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p97.2.pml
  68 %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p99.pml
  69 %%PORTDOCS%%%%DOCSDIR%%/Examples/Exercises/ex_1a.pml
  70 %%PORTDOCS%%%%DOCSDIR%%/Examples/Exercises/ex_1f.pml
  71 %%PORTDOCS%%%%DOCSDIR%%/Examples/Exercises/ex_2.pml
  72 %%PORTDOCS%%%%DOCSDIR%%/Examples/Exercises/ex_3a.pml
  73 %%PORTDOCS%%%%DOCSDIR%%/Examples/Exercises/ex_3b.pml
  74 %%PORTDOCS%%%%DOCSDIR%%/Examples/Exercises/ex_3c.pml
  75 %%PORTDOCS%%%%DOCSDIR%%/Examples/Exercises/ex_4.pml
  76 %%PORTDOCS%%%%DOCSDIR%%/Examples/Exercises/ex_5.pml
  77 %%PORTDOCS%%%%DOCSDIR%%/Examples/Exercises/ex_6.pml
  78 %%PORTDOCS%%%%DOCSDIR%%/Examples/LTL/bakery.pml
  79 %%PORTDOCS%%%%DOCSDIR%%/Examples/LTL/diskhead.pml
  80 %%PORTDOCS%%%%DOCSDIR%%/Examples/LTL/leader.pml
  81 %%PORTDOCS%%%%DOCSDIR%%/Examples/LTL/leader_pre.pml
  82 %%PORTDOCS%%%%DOCSDIR%%/Examples/LTL/ltl_always_eventually.pml
  83 %%PORTDOCS%%%%DOCSDIR%%/Examples/LTL/ltl_example.pml
  84 %%PORTDOCS%%%%DOCSDIR%%/Examples/LTL/ltl_gen.pml
  85 %%PORTDOCS%%%%DOCSDIR%%/Examples/LTL/mobile1.pml
  86 %%PORTDOCS%%%%DOCSDIR%%/Examples/LTL/mobile2.pml
  87 %%PORTDOCS%%%%DOCSDIR%%/Examples/LTL/patterns.pml
  88 %%PORTDOCS%%%%DOCSDIR%%/Examples/LTL/petersonN.pml
  89 %%PORTDOCS%%%%DOCSDIR%%/Examples/LTL/pftp.pml
  90 %%PORTDOCS%%%%DOCSDIR%%/Examples/LTL/salesman1.pml
  91 %%PORTDOCS%%%%DOCSDIR%%/Examples/LTL/salesman2.pml
  92 %%PORTDOCS%%%%DOCSDIR%%/Examples/LTL/train.pml
  93 %%PORTDOCS%%%%DOCSDIR%%/Examples/LTL/zune.pml
  94 %%PORTDOCS%%%%DOCSDIR%%/Examples/LTL/_spin_nvr.tmp
  95 %%PORTDOCS%%%%DOCSDIR%%/Examples/README_tests.txt
  96 %%PORTDOCS%%%%DOCSDIR%%/Examples/abp.pml
  97 %%PORTDOCS%%%%DOCSDIR%%/Examples/calculator.pml
  98 %%PORTDOCS%%%%DOCSDIR%%/Examples/cambridge.pml
  99 %%PORTDOCS%%%%DOCSDIR%%/Examples/dtp.pml
 100 %%PORTDOCS%%%%DOCSDIR%%/Examples/eratosthenes.pml
 101 %%PORTDOCS%%%%DOCSDIR%%/Examples/for_example.pml
 102 %%PORTDOCS%%%%DOCSDIR%%/Examples/for_select_example.pml
 103 %%PORTDOCS%%%%DOCSDIR%%/Examples/hajek.pml
 104 %%PORTDOCS%%%%DOCSDIR%%/Examples/hello.pml
 105 %%PORTDOCS%%%%DOCSDIR%%/Examples/leader0.pml
 106 %%PORTDOCS%%%%DOCSDIR%%/Examples/leader_trace.pml
 107 %%PORTDOCS%%%%DOCSDIR%%/Examples/life.pml
 108 %%PORTDOCS%%%%DOCSDIR%%/Examples/loops.pml
 109 %%PORTDOCS%%%%DOCSDIR%%/Examples/manna_pnueli.pml
 110 %%PORTDOCS%%%%DOCSDIR%%/Examples/pathfinder.pml
 111 %%PORTDOCS%%%%DOCSDIR%%/Examples/peterson.pml
 112 %%PORTDOCS%%%%DOCSDIR%%/Examples/priorities.pml
 113 %%PORTDOCS%%%%DOCSDIR%%/Examples/rtos1.pml
 114 %%PORTDOCS%%%%DOCSDIR%%/Examples/sat.pml
 115 %%PORTDOCS%%%%DOCSDIR%%/Examples/snoopy.pml
 116 %%PORTDOCS%%%%DOCSDIR%%/Examples/sort.pml
 117 %%PORTDOCS%%%%DOCSDIR%%/Examples/welfare.pml
 118 %%PORTDOCS%%%%DOCSDIR%%/Examples/werkplaats.pml
 119 %%PORTDOCS%%%%DOCSDIR%%/Examples/wordcount.pml