Mon, 22 Jul 1996 11:47:54 +0200 checkin from browser
Claus Gittinger <cg@exept.de> [Mon, 22 Jul 1996 11:47:54 +0200] rev 2
checkin from browser
Thu, 18 Jul 1996 22:29:56 +0200 checkin from browser
Claus Gittinger <cg@exept.de> [Thu, 18 Jul 1996 22:29:56 +0200] rev 1
checkin from browser
Thu, 18 Jul 1996 15:24:24 +0200 intitial checkin
Claus Gittinger <cg@exept.de> [Thu, 18 Jul 1996 15:24:24 +0200] rev 0
intitial checkin
(0) +10 +100 +300 +1000 +3000 tip