adam@1643: rewrite all DynClass/* adam@1751: allow url http://adam.chlipala.net/* adam@1643: adam@1643: dynClass