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"