|
|
1.1 root 1: s/\\\*P/PROMELA/g
2: s/\\\*S/SPIN/g
3: s/ synchronous/synchronous communication/
4: s/C|/C preprocessor/
5: s/CW //
6: s/CW//
7: s/Introduction to//
8: s/The //
9: s/\\f2//
10: s/\\f1//
11: s/spin -a/-a/
12: s/IH //
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.