@@ -45,7 +45,7 @@ exception Abort
exception Completion of string
-let version = 3102
+let version = 3200
let version_major = version / 1000
let version_minor = (version mod 1000) / 100
let version_revision = (version mod 100)
Simon Krajewski