rq23 v1.409

 From the telecon, I had some actions to edit rq23: I have done the following:

(3) construct/limit
     Fix defn -- CONSTRUCT: works on SM(QS), not solutions
     Add example

(6) qname-dots grammar

(7) results ns

(9) grammar (remove unused production)


 Andy

Received on Thursday, 30 June 2005 13:27:46 UTC