1.1 --- a/etc/settings	Fri Dec 14 21:15:32 2007 +0100
     1.2 +++ b/etc/settings	Fri Dec 14 21:15:33 2007 +0100
     1.3 @@ -76,7 +76,16 @@
     1.4  
     1.5  
     1.6  ###
     1.7 -### Compilation options (cf. isatool usedir)
     1.8 +### Interactive sessions (cf. isatool tty)
     1.9 +###
    1.10 +
    1.11 +ISABELLE_LINE_EDITOR=""
    1.12 +[ -z "$ISABELLE_LINE_EDITOR" ] && ISABELLE_LINE_EDITOR="$(type -p ledit)"
    1.13 +[ -z "$ISABELLE_LINE_EDITOR" ] && ISABELLE_LINE_EDITOR="$(type -p rlwrap)"
    1.14 +
    1.15 +
    1.16 +###
    1.17 +### Batch sessions (cf. isatool usedir)
    1.18  ###
    1.19  
    1.20  ISABELLE_USEDIR_OPTIONS="-p 1 -v true -V outline=/proof,/ML"