login signup
option vs. make-option Anthony Carrico (29 Oct 2002 15:20 UTC)
Re: option vs. make-option felix (30 Oct 2002 18:45 UTC)
Re: option vs. make-option Anthony Carrico (30 Oct 2002 20:27 UTC)
option vs. make-option Anthony Carrico 29 Oct 2002 15:25 UTC 
Should the option constructor be "option" as in the draft or
"make-option".

  -Tony Carrico