1.1 --- a/etc/settings Mon Jun 30 10:00:16 2014 +0200
1.2 +++ b/etc/settings Mon Jun 30 10:10:32 2014 +0200
1.3 @@ -23,7 +23,7 @@
1.4
1.5
1.6 ###
1.7 -### Interactive sessions (cf. isabelle tty)
1.8 +### Interactive sessions (cf. isabelle console)
1.9 ###
1.10
1.11 ISABELLE_LINE_EDITOR="rlwrap"