From: Maxim Yegorushkin (e-maxim_at_[hidden])
Date: 2004-10-18 09:06:10


On Mon, 18 Oct 2004 14:35:48 +0300, Peter Dimov <pdimov_at_[hidden]> wrote:

> I think that the only thing that stands between you and a formal
> submission is the missing formal specification of const_string.

Could you please point to a good example of the formal specification?

-- 
Maxim Yegorushkin