Return to spin.sed CVS log

Up to [Research Unix] / researchv10dc / vol2 / spin

Annotation of researchv10dc/vol2/spin/spin.sed, revision 1.1

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.