Emacs front-end of App::PRT