etc/settings
changeset 57441 ff534238d9b8
parent 57439 0e41f26a0250
child 57451 3b10acac1d5e
equal deleted inserted replaced
57440:802d33c46459 57441:ff534238d9b8
    21 #paranoia setting -- avoid problems of Java/Swing versus XIM/IBus etc.
    21 #paranoia setting -- avoid problems of Java/Swing versus XIM/IBus etc.
    22 unset XMODIFIERS
    22 unset XMODIFIERS
    23 
    23 
    24 
    24 
    25 ###
    25 ###
    26 ### Interactive sessions (cf. isabelle tty)
    26 ### Interactive sessions (cf. isabelle console)
    27 ###
    27 ###
    28 
    28 
    29 ISABELLE_LINE_EDITOR="rlwrap"
    29 ISABELLE_LINE_EDITOR="rlwrap"
    30 
    30 
    31 
    31