Boost :

Date view	Thread view	Subject view	Author view

From: David Abrahams (dave_at_[hidden])
Date: 2002-11-16 00:47:18

Next message: Glen Knowles: "RE: [boost] Re: Proposed Boost Assert -- once again"
Previous message: Eric Woodruff: "[boost] Re: Proposed Boost Assert -- once again"
In reply to: Douglas Gregor: "Re: [boost] Re: Copy Constructible Concept"
Next in thread: Gennaro Prota: "[boost] Re: Copy Constructible Concept"

Douglas Gregor <gregod_at_[hidden]> writes:

> I've given probably the closest thing to a proof that one can get without
> having a formal specification. It uses only semantic equivalences given in
> the three paragraphs it cites. Is there a problem with it?

FWIW, I'm satisfied.

-- 
                       David Abrahams
   dave_at_[hidden] * http://www.boost-consulting.com
Boost support, enhancements, training, and commercial distribution

Next message: Glen Knowles: "RE: [boost] Re: Proposed Boost Assert -- once again"
Previous message: Eric Woodruff: "[boost] Re: Proposed Boost Assert -- once again"
In reply to: Douglas Gregor: "Re: [boost] Re: Copy Constructible Concept"
Next in thread: Gennaro Prota: "[boost] Re: Copy Constructible Concept"

Date view	Thread view	Subject view	Author view

Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk