etc/settings
changeset 62562 905a5db3932d
parent 62559 83e815849a91
child 62840 d9744f41a4ec
     1.1 --- a/etc/settings	Tue Mar 08 19:29:56 2016 +0100
     1.2 +++ b/etc/settings	Tue Mar 08 20:02:46 2016 +0100
     1.3 @@ -27,6 +27,13 @@
     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