Notification The devel version of BEAMER has been updated to the new version 6. On korat or minx, use the command beamer-devel to run this new version.
