* Added new operator semantics.
authorRichard Kreckel <Richard.Kreckel@uni-mainz.de>
Tue, 8 May 2001 20:45:35 +0000 (20:45 +0000)
committerRichard Kreckel <Richard.Kreckel@uni-mainz.de>
Tue, 8 May 2001 20:45:35 +0000 (20:45 +0000)
commit6a050869057036805a731bdfe627fda7521131a0
treec7e1dca58067d1fe16f6c952bfdbb97abad2a46f
parent0573a5aa2a4834b26a3d40f4160d145658988eff
* Added new operator semantics.
NEWS