--- api/src/pnuts/lang/Pnuts.java	2007-02-08 22:42:50.000000000 +0100
+++ api/src/pnuts/lang/Pnuts.java-gil	2011-06-06 14:46:00.916435113 +0200
@@ -52,7 +52,7 @@
 	/**
 	 * The version number
 	 */
-	public final static String pnuts_version = "1.1";
+	public final static String pnuts_version = "1.2";
 
 	/**
 	 * "prompt" string for the command shell