I always wondering why AutoGK doesn't the latest version of VDM?! which is the 1.5.10 why only stick to the version which use it right now?! plz explain coz i'm using the latest VDM version in other encodings so may I shift to one which AutoGK prefer :P coz I'm fond of using AutoGK Plz another Question....is it possible to do only one pass in autoGK coz sometimes i don't have enough time and i don't bother about the quality..only TIME:D