equal
deleted
inserted
replaced
5 |
5 |
6 JEDIT_OPTIONS="-reuseview -noserver -nobackground -log=9" |
6 JEDIT_OPTIONS="-reuseview -noserver -nobackground -log=9" |
7 #JEDIT_JAVA_OPTIONS="-Xms128m -Xmx512m -Xss1m" |
7 #JEDIT_JAVA_OPTIONS="-Xms128m -Xmx512m -Xss1m" |
8 JEDIT_JAVA_OPTIONS="-Xms128m -Xmx1024m -Xss4m" |
8 JEDIT_JAVA_OPTIONS="-Xms128m -Xmx1024m -Xss4m" |
9 #JEDIT_JAVA_OPTIONS="-Xms512m -Xmx4096m -Xss8m" |
9 #JEDIT_JAVA_OPTIONS="-Xms512m -Xmx4096m -Xss8m" |
10 JEDIT_SYSTEM_OPTIONS="-Dawt.useSystemAAFontSettings=on -Dswing.aatext=true -Dapple.laf.useScreenMenuBar=true -Dapple.awt.application.name=Isabelle" |
10 JEDIT_SYSTEM_OPTIONS="-Duser.language=en |
|
11 -Dawt.useSystemAAFontSettings=on -Dswing.aatext=true |
|
12 -Dapple.laf.useScreenMenuBar=true |
|
13 -Dapple.awt.application.name=Isabelle" |
11 |
14 |
12 ISABELLE_JEDIT_OPTIONS="" |
15 ISABELLE_JEDIT_OPTIONS="" |
13 |
16 |
14 ISABELLE_TOOLS="$ISABELLE_TOOLS:$JEDIT_HOME/lib/Tools" |
17 ISABELLE_TOOLS="$ISABELLE_TOOLS:$JEDIT_HOME/lib/Tools" |
15 ISABELLE_DOCS="$ISABELLE_DOCS:$JEDIT_HOME/dist/doc" |
18 ISABELLE_DOCS="$ISABELLE_DOCS:$JEDIT_HOME/dist/doc" |