Document Class for AMS + Noweb?

[Paul Snively]

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

Document Class for AMS + Noweb?

[Paul Snively]

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

Document Class for AMS + Noweb?

[Paul Snively]

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