Version 2.10: amsthm, prosper and seminar support

Version 2.10 now uses amsthm to create theorems and proofs, which allows easier intregration with the article mode. Two (small) emulation layers make porting Prosper and Seminar presentations easier.

Posted by Till Tantau 2004-03-11