modified the definition seq.k in samples/prog-equiv/stream and added several examples in samples/prog-equiv/stream/programs.
modified the definition seq.k in samples/prog-equiv/stream and added several examples in samples/prog-equiv/stream/programs.
fixed copyright notice.
removed a comment from the program prog-equiv/streams/programs/morse.seq
ensure that the IOServer thread terminates
fixed the time-period for the copy-right.
add copyright script
fix Andrei S's comments
Merge pull request #441 from dwightguth/copyright

add copyright script
fix tiny bug in copyright script
Merge branch 'copyright'
Merge pull request #440 from dwightguth/ioserver

ensure that the IOServer thread terminates
change kompile to use unique temp files
Merge pull request #444 from dwightguth/dotk

change kompile to use unique temp files
make error message better for case when user specifies too many files for kompile
Merge pull request #446 from dwightguth/kompile-options

make error message better for case when user specifies too many files fo...
modified the definition seq.k in samples/prog-equiv/stream and added several examples in samples/prog-equiv/stream/programs.
modified the definition seq.k in samples/prog-equiv/stream and added several examples in samples/prog-equiv/stream/programs.
fixed copyright notice.
removed a comment from the program prog-equiv/streams/programs/morse.seq