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
fixed the time-period for the copy-right.
fix ktest log string escaping
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
fixed the time-period for the copy-right.
resolved copyright conflict
fix latex backend for files without modules
Merge pull request #430 from dlucanu/master

Updated the definition for the stream equivalence in samples/prog-equiv/stream.
Merge pull request #453 from dwightguth/latex

fix latex backend for files without modules
fix #parse thing, oh god for real finally geez
Merge pull request #467 from dwightguth/parse

fix #parse thing, oh god for real finally geez
delete QuoteHandling