Thu, 22 Jun 1995 12:44:29 +0200 Added add_lessD1
nipkow [Thu, 22 Jun 1995 12:44:29 +0200] rev 1152
Added add_lessD1
Wed, 21 Jun 1995 15:47:10 +0200 removed \...\ inside strings
clasohm [Wed, 21 Jun 1995 15:47:10 +0200] rev 1151
removed \...\ inside strings
Wed, 21 Jun 1995 15:14:58 +0200 removed \...\ inside strings
clasohm [Wed, 21 Jun 1995 15:14:58 +0200] rev 1150
removed \...\ inside strings
(0) -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip