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