1.1 --- a/Isabelle.options	Mon Mar 08 08:42:05 2021 +0100
     1.2 +++ b/Isabelle.options	Mon Mar 08 09:11:09 2021 +0100
     1.3 @@ -2,13 +2,12 @@
     1.4  -server
     1.5  -Dfile.encoding=UTF-8
     1.6  -Disabelle.threads=0
     1.7 --Djdk.gtk.version=2.2
     1.8  -Duser.language=en
     1.9  -Dawt.useSystemAAFontSettings=on
    1.10  -Dswing.aatext=true
    1.11  -Dapple.laf.useScreenMenuBar=true
    1.12 --Dapple.awt.application.name=Isabelle
    1.13 +-Dapple.awt.application.name=Isabelle2021
    1.14  -Xms512m
    1.15 --Xmx2560m
    1.16 --Xss8m
    1.17 --Disabelle.jedit_server=Isabelle2020
    1.18 +-Xmx4g
    1.19 +-Xss16m
    1.20 +-Disabelle.jedit_server=Isabelle2021