etc/settings
changeset 62559 83e815849a91
parent 62354 fdd6989cc8a0
child 62562 905a5db3932d
     1.1 --- a/etc/settings	Tue Mar 08 17:55:11 2016 +0100
     1.2 +++ b/etc/settings	Tue Mar 08 18:15:16 2016 +0100
     1.3 @@ -27,13 +27,6 @@
     1.4  
     1.5  
     1.6  ###
     1.7 -### Interactive sessions (cf. isabelle console)
     1.8 -###
     1.9 -
    1.10 -ISABELLE_LINE_EDITOR="rlwrap"
    1.11 -
    1.12 -
    1.13 -###
    1.14  ### Batch sessions (cf. isabelle build)
    1.15  ###
    1.16