new clis

de.prob.core/prob/linux/build_info.txt

 
-		Revision: 8306
-		June 28 2011 - 2001
+		Revision: 9938
+		January 17 2012 - 2002
      
\ No newline at end of file

de.prob.core/prob/linux64/build_info.txt

+
+		Revision: 9938
+		January 17 2012 - 1948
+     
\ No newline at end of file

de.prob.core/prob/linux64/probcli.sh

+#!/bin/bash
+PROBCOMMAND=probcli
+INTERRUPT_COMMAND=send_user_interrupt
+
+
+# Shell wrapper for PROBCOMMAND
+
+echo "Running ProB Command-line Interface"
+echo "$PROBCOMMAND" "$@"
+
+# dirname
+dirname=`dirname "$0"`
+
+ulimit -d unlimited
+
+chmod a+x "$dirname/$PROBCOMMAND"
+chmod a+x "$dirname/$INTERRUPT_COMMAND"
+exec "$dirname/$PROBCOMMAND" "$@"

de.prob.core/prob/macos/build_info.txt

 
-		Revision: 8306
-		June 28 2011 - 2002
+		Revision: 9938
+		January 17 2012 - 2002
      
\ No newline at end of file