On 9/10/06, Christophe Combelles <[EMAIL PROTECTED]> wrote:
First, thanks to all the z3-experienced people who answer beginners' questions
here, and particularly to Stephan Richter who answered my own ones.
I have added his answers on the kpug wiki. May I suggest that all people asking
something
First, thanks to all the z3-experienced people who answer beginners' questions
here, and particularly to Stephan Richter who answered my own ones.
I have added his answers on the kpug wiki. May I suggest that all people asking
something on the list also spend a few minutes to copy-paste their