Subject: character string slices

From: [email-masked] (Klaus Puerzelmayer)
Date: Mon, 16 Nov 92 07:02:15 -0800

Hi!
How can I get a slice out of a character string ?

I found something like x[1:3] in the data model paper, but 
this does not work.

Thanks Klaus.

----------------------------------------------------------------
Klaus Puerzelmayer		e-mail: [email-masked]
Tool Development		voice:  +431/391621-272
Alcatel-ELIN Forschungszentrum	fax:    +431/391452
Ruthnergasse 1-7, A-1210, Wien
Austria
----------------------------------------------------------------