Hi folks,I've asked this before, but so far there's been no reply: does anyone have any idea how to create a document class that combines the AMS document classes and Noweb support? I'd really like to be able to combine proofs and my code, so this seems like a natural combination.
Comments? Many thanks and best regards, Paul Snively
