--- a/etc/settings Tue Mar 08 17:55:11 2016 +0100
+++ b/etc/settings Tue Mar 08 18:15:16 2016 +0100
@@ -27,13 +27,6 @@
###
-### Interactive sessions (cf. isabelle console)
-###
-
-ISABELLE_LINE_EDITOR="rlwrap"
-
-
-###
### Batch sessions (cf. isabelle build)
###