Tuxedo development manual