Thu, 01 Feb 1996 18:44:48 +0100 | Claus Gittinger | added radix numbers & floats | file | diff | annotate |
Thu, 01 Feb 1996 18:14:57 +0100 | Claus Gittinger | checkin from browser | file | diff | annotate |
Thu, 01 Feb 1996 18:10:11 +0100 | Claus Gittinger | some more goodies | file | diff | annotate |