Доброго времени суток! Ткните кто-нибуть носом в нужную статью как настроить Box2D на FlashDevelop, и совместно использовать с PushButton Engine. Заранее благодарен!