Increased the maximum length of a CR type in postgres because the defaultmaximum identifier length has been 63, rather than 31, characters since,ummm, care to guess? How about PG 7.3 !!!
change interface in import from "keep_user_ids" to "create_user_ids" to control the import.Per default, user_ids will be kept if they exist in the importing system
Making the interface totally frameless, with or without JS enabled.Added edition capability on the cockpit for completion properties and new environment URLs.
