You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
11 lines
256 B
11 lines
256 B
#!/bin/csh
|
|
|
|
prism rabin3.nm rabin.pctl -m
|
|
prism rabin4.nm rabin.pctl -m
|
|
prism rabin5.nm rabin.pctl -m
|
|
prism rabin6.nm rabin.pctl -m
|
|
prism rabin7.nm rabin.pctl -m
|
|
prism rabin8.nm rabin.pctl -m
|
|
#prism rabin9.nm rabin.pctl -m
|
|
#prism rabin10.nm rabin.pctl -m
|
|
|