1.1 --- a/src/java/properties-templates.linux/START_ISABELLE	Fri Apr 13 17:49:14 2012 +0200
     1.2 +++ b/src/java/properties-templates.linux/START_ISABELLE	Sat Apr 14 14:02:18 2012 +0200
     1.3 @@ -1,1 +1,1 @@
     1.4 -/usr/local/isabisac/bin/isabelle tty -l Isac
     1.5 \ No newline at end of file
     1.6 +/usr/local/Isabelle2011/bin/isabelle tty -l Isac
     1.7 \ No newline at end of file

     2.1 --- a/src/java/properties-templates.linux/START_ISABELLE_2002	Fri Apr 13 17:49:14 2012 +0200
     2.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     2.3 @@ -1,2 +0,0 @@
     2.4 -cd /usr/local/polyml-4.1.3/x86-linux
     2.5 -./poly /home/MYUSERNAME/proto3/ml/HOL-Real-Isac
     2.6 \ No newline at end of file